/* This function does the actual unregistering of the interrupt handler. It clears the handler to be called when a PRCM interrupt occurs. This function also masks off the interrupt in the interrupt controller so that the interrupt handler no longer is called. */
void PRCMIntUnregister(void)
/* This function does the actual unregistering of the interrupt handler. It clears the handler to be called when a PRCM interrupt occurs. This function also masks off the interrupt in the interrupt controller so that the interrupt handler no longer is called. */
void PRCMIntUnregister(void)
{
  IntDisable(INT_PRCM);
  IntUnregister(INT_PRCM);
}