Searched refs:rcr3 (Results 1 – 7 of 7) sorted by relevance
87 uint64_t lcr3, rcr3, lvmcs, rvmcs; in pt_asid_match() local93 rcr3 = rhs->cr3; in pt_asid_match()95 if (lcr3 != rcr3 && lcr3 != pt_asid_no_cr3 && rcr3 != pt_asid_no_cr3) in pt_asid_match()
418 rcr3(void) in rcr3() function467 load_cr3(rcr3()); in invltlb()
558 db_printf("cr3\t0x%016lx\n", rcr3()); in DB_SHOW_COMMAND_FLAGS()1279 cr3 = rcr3(); in amd64_loadaddr()
10146 cr3 = rcr3(); in pmap_activate_sw_pcid_pti()10176 cr3 = rcr3(); in pmap_activate_sw_pcid_nopti()11740 cr3 = rcr3(); in pmap_san_enter_early()
689 db_printf("cr3\t0x%08x\n", rcr3()); in DB_SHOW_COMMAND_FLAGS()
419 load_cr3(rcr3()); /* invalidate TLB */ in __CONCAT()
3062 vmcs_write(VMCS_HOST_CR3, rcr3()); in vmx_run()