Function tlb_flush

freebsd/arm/include/cpu-v6.h:408–420

}

static __inline void
tlb_flush(vm_offset_t va)
{

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

	dsb();
	ARM_SMP_UP(
	    _CP15_TLBIMVAAIS(va),
	    _CP15_TLBIMVA(va | CPU_ASID_KERNEL)
	);
	dsb();
}

static __inline void
tlb_flush_range(vm_offset_t va,  vm_size_t size)