Searched defs:read_cr3 (Results 1 – 3 of 3) sorted by relevance
55 static __always_inline CRx_TYPE read_cr3(void) in read_cr3() function
1791 long unsigned int (*read_cr3)(); member