/* This function returns the interrupt number for a system exception. */
static uint32_t _SysExcIntNumberGet(void)
/* This function returns the interrupt number for a system exception. */
static uint32_t _SysExcIntNumberGet(void)
{
    uint32_t ui32Int;
    if(CLASS_IS_BLIZZARD)
    {
        ui32Int = INT_SYSEXC_BLIZZARD;
    }
    else
    {
        ui32Int = 0;
    }
    return(ui32Int);
}