kb_cs              15 drivers/input/serio/i8042-ppcio.h extern void *kb_cs;
kb_cs              18 drivers/input/serio/i8042-ppcio.h #define I8042_COMMAND_REG (*(int *)kb_cs)
kb_cs              28 drivers/input/serio/i8042-ppcio.h 	return readb(kb_cs);
kb_cs              38 drivers/input/serio/i8042-ppcio.h 	writeb(val, kb_cs);