Searched full:pflush (Results 1 – 2 of 2) sorted by relevance
18 "pflush (%0)\n\t" in flush_tlb_kernel_page()23 __asm__ __volatile__("pflush #4,#4,(%0)" : : "a" (addr)); in flush_tlb_kernel_page()38 __asm__ __volatile__("pflush #0,#4"); in __flush_tlb()45 "pflush (%0)\n\t" in __flush_tlb040_one()57 __asm__ __volatile__("pflush #0,#4,(%0)" : : "a" (addr)); in __flush_tlb_one()
258 "pflush #0,#4" in switch_mm_0230()