···201201 high bit of the PPI port B (0x61). Note that some PS/2s,202202 notably the 55SX, work fine if this is removed. */203203204204- irq = inb_p( 0x61 ); /* read the current state */205205- outb_p( irq|0x80, 0x61 ); /* reset the IRQ */204204+ u8 irq_v = inb_p( 0x61 ); /* read the current state */205205+ outb_p( irq_v|0x80, 0x61 ); /* reset the IRQ */206206 }207207208208 write_sequnlock(&xtime_lock);