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