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

/barrelfish-master/kernel/include/arch/x86_64/
H A Dvmx_vmkit.h266 uint64_t cr0_fixed0 = ia32_vmx_cr0_fixed0_rd(NULL); local
269 uint64_t cr0_1s_mask = (cr0_fixed0 & cr0_fixed1);
270 uint64_t cr0_0s_mask = (~cr0_fixed0 & ~cr0_fixed1);
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c44 uint64_t cr0_fixed0 = ia32_vmx_cr0_fixed0_rd(NULL); local
48 cr0_fixed0 &= ~(CR0_NW | CR0_CD);
52 cr0_fixed0 &= ~(CR0_PE | CR0_PG);
58 assert(((guest_cr0 | cr0_fixed0) & cr0_fixed1) == guest_cr0);
898 uint64_t cr0_fixed0 = ia32_vmx_cr0_fixed0_rd(NULL); local
900 assert(((host_cr0 | cr0_fixed0) & cr0_fixed1) == host_cr0);
H A Dvmx_vmkit.c461 uint64_t cr0_fixed0 = ia32_vmx_cr0_fixed0_rd(NULL); local
466 assert((~cr0 & cr0_fixed0) == 0);
471 assert(((cr0 | cr0_fixed0) & cr0_fixed1) == cr0);

Completed in 23 milliseconds