Symbol: vmm_get_host_xcr0
sys/amd64/vmm/vmm.c
707
load_xcr(0, vmm_get_host_xcr0());
sys/amd64/vmm/vmm_host.h
50
uint64_t vmm_get_host_xcr0(void);