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; member361 CHECK_OFFSET(guest_pml_index, 996); in vmx_check_vmcs12_offsets()
23 FIELD(GUEST_PML_INDEX, guest_pml_index),
3301 if (vmcs12->guest_pml_index >= PML_ENTITY_NUM) { in nested_vmx_write_pml_buffer()3307 dst = vmcs12->pml_address + sizeof(u64) * vmcs12->guest_pml_index; in nested_vmx_write_pml_buffer()3313 vmcs12->guest_pml_index--; in nested_vmx_write_pml_buffer()