Searched refs:_tlbil_va (Results 1 – 4 of 4) sorted by relevance
42 _GLOBAL(_tlbil_va)74 _GLOBAL(_tlbil_va)148 _GLOBAL(_tlbil_va)
77 _tlbil_va(vmaddr, pid); in local_flush_tlb_page()106 _tlbil_va(p->addr, p->pid); in do_flush_tlb_page_ipi()174 _tlbil_va(vmaddr, pid); in flush_tlb_page()
48 static inline void _tlbil_va(unsigned long address, unsigned int pid) in _tlbil_va() function53 extern void _tlbil_va(unsigned long address, unsigned int pid);
491 _tlbil_va(address, 0 /* 8xx doesn't care about PID */); in update_mmu_cache()