Searched refs:rcr3 (Results 1 – 7 of 7) sorted by relevance
475 rcr3(void) in rcr3() function524 load_cr3(rcr3()); in invltlb()800 u_int rcr3(void);
440 rcr3(void) in rcr3() function489 load_cr3(rcr3()); in invltlb()990 u_long rcr3(void);
887 db_printf("cr3\t0x%016lx\n", rcr3()); in DB_SHOW_COMMAND()
9612 cr3 = rcr3(); in pmap_activate_sw_pcid_pti()9641 cr3 = rcr3(); in pmap_activate_sw_pcid_nopti()
1602 db_printf("cr3\t0x%08x\n", rcr3()); in DB_SHOW_COMMAND()
431 load_cr3(rcr3()); /* invalidate TLB */ in __CONCAT()
3008 vmcs_write(VMCS_HOST_CR3, rcr3()); in vmx_run()