478 static inline void __local_flush_tlb_kernel_page(unsigned long kaddr)  in __local_flush_tlb_kernel_page()  argument
483 	tlb_op(TLB_V4_U_PAGE, "c8, c7, 1", kaddr);  in __local_flush_tlb_kernel_page()
484 	tlb_op(TLB_V4_D_PAGE, "c8, c6, 1", kaddr);  in __local_flush_tlb_kernel_page()
485 	tlb_op(TLB_V4_I_PAGE, "c8, c5, 1", kaddr);  in __local_flush_tlb_kernel_page()
489 	tlb_op(TLB_V6_U_PAGE, "c8, c7, 1", kaddr);  in __local_flush_tlb_kernel_page()
490 	tlb_op(TLB_V6_D_PAGE, "c8, c6, 1", kaddr);  in __local_flush_tlb_kernel_page()
491 	tlb_op(TLB_V6_I_PAGE, "c8, c5, 1", kaddr);  in __local_flush_tlb_kernel_page()
494 static inline void local_flush_tlb_kernel_page(unsigned long kaddr)  in local_flush_tlb_kernel_page()  argument
498 	kaddr &= PAGE_MASK;  in local_flush_tlb_kernel_page()
503 	__local_flush_tlb_kernel_page(kaddr);  in local_flush_tlb_kernel_page()
504 	tlb_op(TLB_V7_UIS_PAGE, "c8, c7, 1", kaddr);  in local_flush_tlb_kernel_page()
512 static inline void __flush_tlb_kernel_page(unsigned long kaddr)  in __flush_tlb_kernel_page()  argument
516 	kaddr &= PAGE_MASK;  in __flush_tlb_kernel_page()
521 	__local_flush_tlb_kernel_page(kaddr);  in __flush_tlb_kernel_page()
522 	tlb_op(TLB_V7_UIS_PAGE, "c8, c3, 1", kaddr);  in __flush_tlb_kernel_page()
618 extern void flush_tlb_kernel_page(unsigned long kaddr);
653 static inline void local_flush_tlb_kernel_page(unsigned long kaddr)						{ }  in local_flush_tlb_kernel_page()  argument
661 extern void flush_tlb_kernel_page(unsigned long kaddr);