/* Returns the total number of free MPU regions available in the form of a mask. A bit of 1 in the returned 16 bit value represents the corresponding region number to be available. For example, if this function returns 0xC0000, this would mean, the regions 14 and 15 are available to users.  */
u16 Xil_GetMPUFreeRegMask(void)
/* Returns the total number of free MPU regions available in the form of a mask. A bit of 1 in the returned 16 bit value represents the corresponding region number to be available. For example, if this function returns 0xC0000, this would mean, the regions 14 and 15 are available to users.  */
u16 Xil_GetMPUFreeRegMask(void)
{
        if (MPU_REG_DISABLED == Mpu_Config[Index].RegionStatus) {
            FreeRegMask |= (1U << Index);
        }
        Index++;
    }
    return FreeRegMask;
}