/* Returns the total number of free MPU regions available.  */
u32 Xil_GetNumOfFreeRegions(void)
/* Returns the total number of free MPU regions available.  */
u32 Xil_GetNumOfFreeRegions(void)
{
        if (MPU_REG_DISABLED == Mpu_Config[Index].RegionStatus) {
            NumofFreeRegs++;
        }
        Index++;
    }
    return NumofFreeRegs;
}