Searched defs:rcr3 (Results 1 – 3 of 3) sorted by relevance
87 uint64_t lcr3, rcr3, lvmcs, rvmcs; in pt_asid_match() local
441 rcr3(void) in rcr3() function
422 rcr3(void) in rcr3() function