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

/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c946 uint64_t host_efer; local
947 err += vmread(VMX_HOST_EFER_F, &host_efer);
951 assert(((host_efer >> 1) & 0x7F) == 0);
953 assert(((host_efer >> 9) & 0x1) == 0);
955 assert((host_efer & ~0xFFF) == 0);
958 bool lma_set = !!(host_efer & EFER_LMA);
961 bool lme_set = !!(host_efer & EFER_LME);
1184 uint64_t host_efer; local
1185 err += vmread(VMX_HOST_EFER_F, &host_efer);
1188 if (host_efer
[all...]

Completed in 10 milliseconds