Searched defs:write_cr3 (Results 1 – 3 of 3) sorted by relevance
67 static __always_inline void write_cr3(CRx_TYPE data) in write_cr3() function
1792 void (*write_cr3)(long unsigned int); member