/* Registers an interrupt handler for the memory management fault. */
void MPUIntRegister(void(*pfnHandler)(void))
/* Registers an interrupt handler for the memory management fault. */
void MPUIntRegister(void(*pfnHandler)(void))
{
    ASSERT(pfnHandler);
    IntRegister(FAULT_MPU, pfnHandler);
    IntEnable(FAULT_MPU);
}