Searched refs:guest_pml_index (Results 1 – 4 of 4) sorted by relevance
36 SHADOW_FIELD_RW(GUEST_PML_INDEX, guest_pml_index)
193 u16 guest_pml_index; member374 CHECK_OFFSET(guest_pml_index, 996); in vmx_check_vmcs12_offsets()
24 FIELD(GUEST_PML_INDEX, guest_pml_index),
3532 if (vmcs12->guest_pml_index >= PML_LOG_NR_ENTRIES) { in nested_vmx_write_pml_buffer()3538 dst = vmcs12->pml_address + sizeof(u64) * vmcs12->guest_pml_index; in nested_vmx_write_pml_buffer()3544 vmcs12->guest_pml_index--; in nested_vmx_write_pml_buffer()