Searched refs:radix_tlbie_invlpg_kernel_4k (Results 1 – 1 of 1) sorted by relevance
250 radix_tlbie_invlpg_kernel_4k(vm_offset_t va) in radix_tlbie_invlpg_kernel_4k() function1077 radix_tlbie_invlpg_kernel_4k(start); in pmap_invalidate_page()1115 radix_tlbie_invlpg_kernel_4k(start); in pmap_invalidate_range()