/* Find an MPU address region an address belongs to  */
static mpu_addr_region_t* mpu_addr_region_find(unsigned long a)
/* Find an MPU address region an address belongs to  */
static mpu_addr_region_t* mpu_addr_region_find(unsigned long a)
{
	int i;
	int f;
	mpu_addr_region_t *r;
	for (i = 0, f = 0, r = 0; i < mpu_addr_region_next && !f; i++) {
		r = &mpu_addr_region_tbl[i];
		f = (r->bot <= a) && (a < r->top);
	}
	return f ? r : (mpu_addr_region_t *) 0;
}