479 static inline void __local_flush_tlb_kernel_page(unsigned long kaddr)  in __local_flush_tlb_kernel_page()  argument
484 	tlb_op(TLB_V4_U_PAGE, "c8, c7, 1", kaddr);  in __local_flush_tlb_kernel_page()
485 	tlb_op(TLB_V4_D_PAGE, "c8, c6, 1", kaddr);  in __local_flush_tlb_kernel_page()
486 	tlb_op(TLB_V4_I_PAGE, "c8, c5, 1", kaddr);  in __local_flush_tlb_kernel_page()
490 	tlb_op(TLB_V6_U_PAGE, "c8, c7, 1", kaddr);  in __local_flush_tlb_kernel_page()
491 	tlb_op(TLB_V6_D_PAGE, "c8, c6, 1", kaddr);  in __local_flush_tlb_kernel_page()
492 	tlb_op(TLB_V6_I_PAGE, "c8, c5, 1", kaddr);  in __local_flush_tlb_kernel_page()
495 static inline void local_flush_tlb_kernel_page(unsigned long kaddr)  in local_flush_tlb_kernel_page()  argument
499 	kaddr &= PAGE_MASK;  in local_flush_tlb_kernel_page()
504 	__local_flush_tlb_kernel_page(kaddr);  in local_flush_tlb_kernel_page()
505 	tlb_op(TLB_V7_UIS_PAGE, "c8, c7, 1", kaddr);  in local_flush_tlb_kernel_page()
513 static inline void __flush_tlb_kernel_page(unsigned long kaddr)  in __flush_tlb_kernel_page()  argument
517 	kaddr &= PAGE_MASK;  in __flush_tlb_kernel_page()
522 	__local_flush_tlb_kernel_page(kaddr);  in __flush_tlb_kernel_page()
523 	tlb_op(TLB_V7_UIS_PAGE, "c8, c3, 1", kaddr);  in __flush_tlb_kernel_page()
619 extern void flush_tlb_kernel_page(unsigned long kaddr);
651 static inline void local_flush_tlb_kernel_page(unsigned long kaddr)						{ }  in local_flush_tlb_kernel_page()  argument
659 extern void flush_tlb_kernel_page(unsigned long kaddr);