Searched refs:vmm_get_host_xcr0 (Results 1 – 3 of 3) sorted by relevance
48 uint64_t vmm_get_host_xcr0(void);
120 vmm_get_host_xcr0(void) in vmm_get_host_xcr0() function
980 load_xcr(0, vmm_get_host_xcr0()); in save_guest_fpustate()