Searched refs:rcr3 (Results 1 – 4 of 4) sorted by relevance
425 rcr3(void) in rcr3() function474 load_cr3(rcr3()); in invltlb()764 u_int rcr3(void);
451 rcr3(void) in rcr3() function500 load_cr3(rcr3()); in invltlb()851 u_long rcr3(void);
153 rcr3(void) in rcr3() function
2792 vmcs_write(VMCS_HOST_CR3, rcr3()); in vmx_run()