/* This function can be used to save the configuration of a region for later use with the  */
void MPURegionGet(uint32_t ui32Region, uint32_t *pui32Addr, uint32_t *pui32Flags)
/* This function can be used to save the configuration of a region for later use with the  */
void MPURegionGet(uint32_t ui32Region, uint32_t *pui32Addr, uint32_t *pui32Flags)
{
    ASSERT(ui32Region < 8);
    ASSERT(pui32Addr);
    ASSERT(pui32Flags);
    HWREG(NVIC_MPU_NUMBER) = ui32Region;
    *pui32Addr = HWREG(NVIC_MPU_BASE) & NVIC_MPU_BASE_ADDR_M;
    *pui32Flags = HWREG(NVIC_MPU_ATTR);
}