a20_on           1167 drivers/input/serio/i8042-x86ia64io.h 	u8 a20_on = 0xdf;
a20_on           1225 drivers/input/serio/i8042-x86ia64io.h 	i8042_command(&a20_on, 0x10d1);