26 static inline unsigned long native_read_cr0(void)  in native_read_cr0()  argument
33 static __always_inline unsigned long native_read_cr2(void)  in native_read_cr2()  argument
45 static inline unsigned long __native_read_cr3(void)  in __native_read_cr3()  argument
57 static inline unsigned long native_read_cr4(void)  in native_read_cr4()  argument
80 static inline u32 rdpkru(void)  in rdpkru()  argument
120 static inline u32 rdpkru(void)  in rdpkru()  argument
130 static inline void native_wbinvd(void)  in native_wbinvd()  argument
146 static inline unsigned long __read_cr4(void)  in __read_cr4()  argument
155 static inline unsigned long read_cr0(void)  in read_cr0()  argument
165 static __always_inline unsigned long read_cr2(void)  in read_cr2()  argument
179 static inline unsigned long __read_cr3(void)  in __read_cr3()  argument
194 static inline void wbinvd(void)  in wbinvd()  argument
239 static inline void serialize(void)  in serialize()  argument