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

/freebsd-11.0-release/sys/amd64/vmm/
H A Dvmm_host.h47 uint64_t vmm_get_host_cr4(void);
H A Dvmm_host.c107 vmm_get_host_cr4(void) function
/freebsd-11.0-release/sys/amd64/vmm/intel/
H A Dvmcs.c363 cr4 = vmm_get_host_cr4() | CR4_VMXE;

Completed in 95 milliseconds