Searched refs:vmm_get_host_xcr0 (Results 1 - 3 of 3) sorted by relevance
/freebsd-10.2-release/sys/amd64/vmm/ | ||
H A D | vmm_host.h | 48 uint64_t vmm_get_host_xcr0(void); |
H A D | vmm_host.c | 114 vmm_get_host_xcr0(void) function |
H A D | vmm.c | 997 load_xcr(0, vmm_get_host_xcr0()); |
Completed in 107 milliseconds