Searched refs:rxcr (Results 1 – 5 of 5) sorted by relevance
96 vmm_host_xcr0 = rxcr(0); in vmm_host_state_init()
1459 vcpu->guest_xcr0 = rxcr(0); in save_guest_fpustate()
177 rxcr(u_int reg) in rxcr() function
449 rxcr(u_int reg) in rxcr() function
475 rxcr(u_int reg) in rxcr() function