Function pmap_invalidate_range

freebsd/arm64/arm64/pmap.c:1216–1238

}

static __inline void
pmap_invalidate_range(pmap_t pmap, vm_offset_t sva, vm_offset_t eva)
{
	uint64_t end, r, start;

	PMAP_ASSERT_STAGE1(pmap);

	dsb(ishst);
	if (pmap == kernel_pmap) {
		start = atop(sva);
		end = atop(eva);
		for (r = start; r < end; r++)
			__asm __volatile("tlbi vaae1is, %0" : : "r" (r));
	} else {
		start = end = ASID_TO_OPERAND(COOKIE_TO_ASID(pmap->pm_cookie));
		start |= atop(sva);
		end |= atop(eva);
		for (r = start; r < end; r++)
			__asm __volatile("tlbi vae1is, %0" : : "r" (r));
	}
	dsb(ish);
	isb();
}

static __inline void
pmap_invalidate_all(pmap_t pmap)