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