Function tlb_flush_range

freebsd/arm/include/cpu-v6.h:422–443

}

static __inline void
tlb_flush_range(vm_offset_t va,  vm_size_t size)
{
	vm_offset_t eva = va + size;

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

	dsb();
	ARM_SMP_UP(
		{
			for (; va < eva; va += PAGE_SIZE)
				_CP15_TLBIMVAAIS(va);
		},
		{
			for (; va < eva; va += PAGE_SIZE)
				_CP15_TLBIMVA(va | CPU_ASID_KERNEL);
		}
	);
	dsb();
}
#else /* __ARM_ARCH < 7 */

#define tlb_flush_all() 		tlb_flush_all_local()