Searched refs:entry_controls (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c96 uint64_t entry_controls; local
97 errval_t err = vmread(VMX_ENTRY_CONTROLS, &entry_controls);
99 if (entry_controls & ENTRY_CLTS_LOAD_EFER) {
865 uint64_t entry_controls, sec_ctls; local
866 errval_t err = vmread(VMX_ENTRY_CONTROLS, &entry_controls);
869 ia32e_guest = !!(entry_controls & ENTRY_CLTS_IA32E_MODE);

Completed in 32 milliseconds