Searched refs:acrn_vmcs12 (Results 1 – 2 of 2) sorted by relevance
| /hypervisor/arch/x86/guest/ |
| A D | nested.c | 415 offsetof(struct acrn_vmcs12, vpid), /* 16-bit Control Fields */
416 offsetof(struct acrn_vmcs12, padding), /* 16-bit Read-Only Fields */
418 offsetof(struct acrn_vmcs12, host_es), /* 16-bit Host-State Fields */
419 offsetof(struct acrn_vmcs12, io_bitmap_a), /* 64-bit Control Fields */
725 (void)memset(&vvmcs->vmcs12, 0U, sizeof(struct acrn_vmcs12)); in reset_vvmcs()
985 static void sync_vmcs02_to_vmcs12(struct acrn_vmcs12 *vmcs12) in sync_vmcs02_to_vmcs12()
1189 sizeof(struct acrn_vmcs12)); in vmptrld_vmexit_handler()
1279 offsetof(struct acrn_vmcs12, launch_state), sizeof(launch_state)); in vmclear_vmexit_handler()
1329 struct acrn_vmcs12 *vmcs12 = &vcpu->arch.nested.current_vvmcs->vmcs12; in set_vmcs01_guest_state()
1410 static void sanitize_l2_vpid(struct acrn_vmcs12 *vmcs12) in sanitize_l2_vpid()
[all …]
|
| /hypervisor/include/arch/x86/asm/guest/ |
| A D | nested.h | 111 struct acrn_vmcs12 { struct
334 struct acrn_vmcs12 vmcs12; /* To cache L1's VMCS12*/
|
Completed in 7 milliseconds