Searched refs:vmm_get_host_xcr0 (Results 1 - 3 of 3) sorted by relevance
| /freebsd-11.0-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 | 1088 load_xcr(0, vmm_get_host_xcr0()); |
Completed in 110 milliseconds