/* Set up the MPU protections region from the context of the specified process (in preparation to re-starting it).  */
static void mpu_page_copyall(struct mm_struct *mm)
/* Set up the MPU protections region from the context of the specified process (in preparation to re-starting it).  */
static void mpu_page_copyall(struct mm_struct *mm)
{
	int i;
	mpu_context_t *p = mpu_context_p(mm);
	for (i = mpu_hw_reg_indx; i < 8; i ++) {
		mpu_region_write(i, p->mpu_regs[i].base, p->mpu_regs[i].attr);
	}}