Searched refs:guest_pml_index (Results 1 – 4 of 4) sorted by relevance
36 SHADOW_FIELD_RW(GUEST_PML_INDEX, guest_pml_index)
188 u16 guest_pml_index; member369 CHECK_OFFSET(guest_pml_index, 996); in vmx_check_vmcs12_offsets()
24 FIELD(GUEST_PML_INDEX, guest_pml_index),
7263 if (vmcs12->guest_pml_index >= PML_ENTITY_NUM) { in vmx_write_pml_buffer()7269 dst = vmcs12->pml_address + sizeof(u64) * vmcs12->guest_pml_index; in vmx_write_pml_buffer()7275 vmcs12->guest_pml_index--; in vmx_write_pml_buffer()