Searched refs:flush_tlb_type_t (Results 1 – 2 of 2) sorted by relevance
301 } flush_tlb_type_t; typedef303 extern void mmu_flush_tlb(flush_tlb_type_t, tlb_range_t *);
569 mmu_flush_tlb(flush_tlb_type_t type, tlb_range_t *range) in mmu_flush_tlb()