/* Sets slow clock counter match value to interrupt the processor. */
void PRCMSlowClkCtrMatchSet(unsigned long long ullValue)
/* Sets slow clock counter match value to interrupt the processor. */
void PRCMSlowClkCtrMatchSet(unsigned long long ullValue)
{
  MAP_PRCMHIBRegWrite(HIB3P3_BASE + HIB3P3_O_MEM_HIB_RTC_IRQ_LSW_CONF,
                                           (unsigned long)(ullValue));
  MAP_PRCMHIBRegWrite(HIB3P3_BASE + HIB3P3_O_MEM_HIB_RTC_IRQ_MSW_CONF,
                                           (unsigned long)(ullValue>>32));
}