Searched defs:vmcs12 (Results 1 – 2 of 2) sorted by relevance
985 static void sync_vmcs02_to_vmcs12(struct acrn_vmcs12 *vmcs12) in sync_vmcs02_to_vmcs12()1000 static void merge_and_sync_control_fields(struct acrn_vcpu *vcpu, struct acrn_vmcs12 *vmcs12) in merge_and_sync_control_fields()1035 static void sync_vmcs12_to_vmcs02(struct acrn_vcpu *vcpu, struct acrn_vmcs12 *vmcs12) in sync_vmcs12_to_vmcs02()1329 struct acrn_vmcs12 *vmcs12 = &vcpu->arch.nested.current_vvmcs->vmcs12; in set_vmcs01_guest_state() local1410 static void sanitize_l2_vpid(struct acrn_vmcs12 *vmcs12) in sanitize_l2_vpid()1474 struct acrn_vmcs12 *vmcs12 = &cur_vvmcs->vmcs12; in nested_vmentry() local
334 struct acrn_vmcs12 vmcs12; /* To cache L1's VMCS12*/ member
Completed in 12 milliseconds