Searched refs:vmm_get_host_xcr0 (Results 1 – 3 of 3) sorted by relevance
50 uint64_t vmm_get_host_xcr0(void);
125 vmm_get_host_xcr0(void) in vmm_get_host_xcr0() function
1163 load_xcr(0, vmm_get_host_xcr0()); in save_guest_fpustate()