Searched refs:vmm_get_host_xcr0 (Results 1 - 3 of 3) sorted by relevance
| /freebsd-11-stable/sys/amd64/vmm/ | ||
| H A D | vmm_host.h | 48 uint64_t vmm_get_host_xcr0(void); |
| H A D | vmm_host.c | 123 vmm_get_host_xcr0(void) function |
| H A D | vmm.c | 1132 load_xcr(0, vmm_get_host_xcr0()); |
Completed in 137 milliseconds