Searched refs:vmcs12_exec_ctrl (Results 1 – 1 of 1) sorted by relevance
2223 u32 exec_control, vmcs12_exec_ctrl; in prepare_vmcs02_early() local2298 vmcs12_exec_ctrl = vmcs12->secondary_vm_exec_control & in prepare_vmcs02_early()2300 exec_control |= vmcs12_exec_ctrl; in prepare_vmcs02_early()
