Searched refs:SECONDARY_EXEC_SHADOW_VMCS (Results 1 – 2 of 2) sorted by relevance
85 vmwrite(SECONDARY_VM_EXEC_CONTROL, SECONDARY_EXEC_SHADOW_VMCS); in l1_guest_code()
64 #define SECONDARY_EXEC_SHADOW_VMCS 0x00004000 macro