/* Write a value to a register in the Embedded Utilities Memory Block address space. Input: regNum - register number + utility base address. Example, the base address of EPIC is 0x40000, the register number is 0x40000+the address of the target register. (See epic.h for register addresses). regVal - value to be written to the register.  */
void mpc824x_eummbar_write(unsigned int regNum, unsigned int regVal)
/* Write a value to a register in the Embedded Utilities Memory Block address space. Input: regNum - register number + utility base address. Example, the base address of EPIC is 0x40000, the register number is 0x40000+the address of the target register. (See epic.h for register addresses). regVal - value to be written to the register.  */
void mpc824x_eummbar_write(unsigned int regNum, unsigned int regVal)
{
	*(volatile unsigned int *) (EUMBBAR_VAL + regNum) = PCISWAP (regVal);
	return;
}