/* Registers an interrupt handler for the system exception interrupt. */
void SysExcIntRegister(void(*pfnHandler)(void))
/* Registers an interrupt handler for the system exception interrupt. */
void SysExcIntRegister(void(*pfnHandler)(void))
{
    uint32_t ui32Int;
    ui32Int = _SysExcIntNumberGet();
    ASSERT(ui32Int != 0);
    IntRegister(ui32Int, pfnHandler);
    IntEnable(ui32Int);
}