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