/* Write a byte (8 bits) to a memory location.  */
void mpc824x_mpc107_write8(unsigned int addr, unsigned char data)
/* Write a byte (8 bits) to a memory location.  */
void mpc824x_mpc107_write8(unsigned int addr, unsigned char data)
{
	*(unsigned char *) addr = data;
	__asm__ ("sync");
}