482 static inline void __local_flush_tlb_kernel_page(unsigned long kaddr)  in __local_flush_tlb_kernel_page()  argument
487 	tlb_op(TLB_V4_U_PAGE, "c8, c7, 1", kaddr);  in __local_flush_tlb_kernel_page()
488 	tlb_op(TLB_V4_D_PAGE, "c8, c6, 1", kaddr);  in __local_flush_tlb_kernel_page()
489 	tlb_op(TLB_V4_I_PAGE, "c8, c5, 1", kaddr);  in __local_flush_tlb_kernel_page()
493 	tlb_op(TLB_V6_U_PAGE, "c8, c7, 1", kaddr);  in __local_flush_tlb_kernel_page()
494 	tlb_op(TLB_V6_D_PAGE, "c8, c6, 1", kaddr);  in __local_flush_tlb_kernel_page()
495 	tlb_op(TLB_V6_I_PAGE, "c8, c5, 1", kaddr);  in __local_flush_tlb_kernel_page()
498 static inline void local_flush_tlb_kernel_page(unsigned long kaddr)  in local_flush_tlb_kernel_page()  argument
502 	kaddr &= PAGE_MASK;  in local_flush_tlb_kernel_page()
507 	__local_flush_tlb_kernel_page(kaddr);  in local_flush_tlb_kernel_page()
508 	tlb_op(TLB_V7_UIS_PAGE, "c8, c7, 1", kaddr);  in local_flush_tlb_kernel_page()
516 static inline void __flush_tlb_kernel_page(unsigned long kaddr)  in __flush_tlb_kernel_page()  argument
520 	kaddr &= PAGE_MASK;  in __flush_tlb_kernel_page()
525 	__local_flush_tlb_kernel_page(kaddr);  in __flush_tlb_kernel_page()
526 	tlb_op(TLB_V7_UIS_PAGE, "c8, c3, 1", kaddr);  in __flush_tlb_kernel_page()
622 extern void flush_tlb_kernel_page(unsigned long kaddr);
654 static inline void local_flush_tlb_kernel_page(unsigned long kaddr)						{ }  in local_flush_tlb_kernel_page()  argument
662 extern void flush_tlb_kernel_page(unsigned long kaddr);