Searched defs:write_cr3 (Results 1 – 6 of 6) sorted by relevance
184 static inline void write_cr3(unsigned long x) in write_cr3() function
138 static inline void write_cr3(unsigned long x) in write_cr3() function
216 void (*write_cr3)(unsigned long); member
161 static inline void write_cr3(unsigned long x) in write_cr3() function
170 static inline void write_cr3(unsigned long x) in write_cr3() function
157 void (*write_cr3)(unsigned long); member