Function tlb_flush_local

freebsd/arm/include/cpu-v6.h:354–363

Flush single TLB entry (even global). */

/* Flush single TLB entry (even global). */
static __inline void
tlb_flush_local(vm_offset_t va)
{

	KASSERT((va & PAGE_MASK) == 0, ("%s: va %#x not aligned", __func__, va));

	dsb();
	_CP15_TLBIMVA(va | CPU_ASID_KERNEL);
	dsb();
}

/* Flush range of TLB entries (even global). */
static __inline void