/* Reads 32-bit value from register at specified address */
unsigned long PRCMHIBRegRead(unsigned long ulRegAddr)
/* Reads 32-bit value from register at specified address */
unsigned long PRCMHIBRegRead(unsigned long ulRegAddr)
{
  unsigned long ulValue;
  ulValue = HWREG(ulRegAddr);
  UtilsDelay((80*200)/3);
  return ulValue;
}