Searched refs:host_cr0 (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/kernel/arch/x86_64/ | ||
H A D | vmx_checks.c | 894 uint64_t host_cr0; local 895 errval_t err = vmread(VMX_HOST_CR0, &host_cr0); 900 assert(((host_cr0 | cr0_fixed0) & cr0_fixed1) == host_cr0); |
Completed in 34 milliseconds