Searched defs:write_cr3 (Results 1 – 3 of 3) sorted by relevance
332 static inline void write_cr3(unsigned long x) in write_cr3() function
77 static inline void write_cr3(unsigned long x) in write_cr3() function
234 void (*write_cr3)(unsigned long); member