Function pmap_invalidate_page

freebsd/arm64/arm64/pmap.c:1197–1214

* Invalidate a single TLB entry. */

 * Invalidate a single TLB entry.
 */
static __inline void
pmap_invalidate_page(pmap_t pmap, vm_offset_t va)
{
	uint64_t r;

	PMAP_ASSERT_STAGE1(pmap);

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

static __inline void
pmap_invalidate_range(pmap_t pmap, vm_offset_t sva, vm_offset_t eva)