/* Unregisters the interrupt handler in the system interrupt controller. The interrupt is disabled at the global level, and the interrupt handler will no longer be called. */
void HibernateIntUnregister(void)
/* Unregisters the interrupt handler in the system interrupt controller. The interrupt is disabled at the global level, and the interrupt handler will no longer be called. */
void HibernateIntUnregister(void)
{
    IntDisable(INT_HIBERNATE);
    IntUnregister(INT_HIBERNATE);
}