Home
last modified time | relevance | path

Searched refs:vmm_get_host_xcr0 (Results 1 – 3 of 3) sorted by relevance

/illumos-gate/usr/src/uts/intel/io/vmm/
H A Dvmm_host.h65 uint64_t vmm_get_host_xcr0(void);
H A Dvmm_host.c134 vmm_get_host_xcr0(void) in vmm_get_host_xcr0() function
H A Dvmm.c1219 if (!validate_guest_xcr0(val, vmm_get_host_xcr0())) { in vm_set_register()
1460 load_xcr(0, vmm_get_host_xcr0()); in save_guest_fpustate()