/* Writes 32-bit value to register at specified address */
void PRCMHIBRegWrite(unsigned long ulRegAddr, unsigned long ulValue)
/* Writes 32-bit value to register at specified address */
void PRCMHIBRegWrite(unsigned long ulRegAddr, unsigned long ulValue)
{
  HWREG(ulRegAddr) = ulValue;
  UtilsDelay((80*200)/3);
}