33 static inline void cr4_init_shadow(void)  in cr4_init_shadow()  argument
65 static inline unsigned long cr4_read_shadow(void)  in cr4_read_shadow()  argument
87 static inline void __native_flush_tlb(void)  in __native_flush_tlb()  argument
92 static inline void __native_flush_tlb_global_irq_disabled(void)  in __native_flush_tlb_global_irq_disabled()  argument
103 static inline void __native_flush_tlb_global(void)  in __native_flush_tlb_global()  argument
124 static inline void __flush_tlb_all(void)  in __flush_tlb_all()  argument
163 static inline void __flush_tlb_up(void)  in __flush_tlb_up()  argument
169 static inline void flush_tlb_all(void)  in flush_tlb_all()  argument
175 static inline void flush_tlb(void)  in flush_tlb()  argument
180 static inline void local_flush_tlb(void)  in local_flush_tlb()  argument
219 static inline void reset_lazy_tlbstate(void)  in reset_lazy_tlbstate()  argument
256 static inline void reset_lazy_tlbstate(void)  in reset_lazy_tlbstate()  argument