rem: static __inline__ void write_attr_registers(uint8 reg, uint8 val)
add: write_attr_registers(uint8 reg, uint8 val)
context: static __inline__ void write_attr_registers(uint8 reg, uint8 val){	uint8 index;    inb (accel.io_base + IS1_R - 0x300);    index = inb(accel.io_base + ATT_IW - 0x300);    outb(accel.io_base + ATT_IW - 0x300, reg);    outb(accel.io_base + ATT_IW - 0x300, val);    outb(accel.io_base + ATT_IW - 0x300, index);}