/* Some versions of Open Firmware incorrectly initialize the IRQ settings for keyboard and mouse  */
static void __init sio_write(u8 val, u8 index)
/* Some versions of Open Firmware incorrectly initialize the IRQ settings for keyboard and mouse  */
static void __init sio_write(u8 val, u8 index)
{
	outb(index, 0x15c);
	outb(val, 0x15d);
}