IOMD_KARTRX        52 drivers/input/serio/rpckbd.c 		byte = iomd_readb(IOMD_KARTRX);
IOMD_KARTRX        72 drivers/input/serio/rpckbd.c 	iomd_readb(IOMD_KARTRX);