kb_data            16 drivers/input/serio/i8042-ppcio.h extern void *kb_data;
kb_data            19 drivers/input/serio/i8042-ppcio.h #define I8042_DATA_REG (*(int *)kb_data)
kb_data            23 drivers/input/serio/i8042-ppcio.h 	return readb(kb_data);
kb_data            33 drivers/input/serio/i8042-ppcio.h 	writeb(val, kb_data);