Searched refs:vmm_get_host_xcr0 (Results 1 – 3 of 3) sorted by relevance
65 uint64_t vmm_get_host_xcr0(void);
134 vmm_get_host_xcr0(void) in vmm_get_host_xcr0() function
1219 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()