/* This function returns the interrupt number for the hibernate module. */
static uint32_t _HibernateIntNumberGet(void)
/* This function returns the interrupt number for the hibernate module. */
static uint32_t _HibernateIntNumberGet(void)
{
    uint32_t ui32Int;
    ui32Int = INT_HIBERNATE;
    return (ui32Int);
}