Function cp15_ats1cur_check

freebsd/arm/include/cpu-v6.h:667–674

}

static __inline int
cp15_ats1cur_check(vm_offset_t addr)
{

	cp15_ats1cur_set(addr);
	isb();
	return (cp15_par_get() & 0x01 ? EFAULT : 0);
}

static __inline int
cp15_ats1cuw_check(vm_offset_t addr)