Searched refs:rcr4 (Results 1 – 5 of 5) sorted by relevance
82 vmm_host_cr4 = rcr4() | CR4_PGE; in vmm_host_state_init()
1440 if (rcr4() & CR4_XSAVE) in restore_guest_fpustate()1458 if (rcr4() & CR4_XSAVE) { in save_guest_fpustate()
466 rcr4(void) in rcr4() function519 cr4 = rcr4(); in invltlb_glob()852 u_long rcr4(void);
168 rcr4(void) in rcr4() function
440 rcr4(void) in rcr4() function765 u_int rcr4(void);