alt_code          751 drivers/tty/sysrq.c 	unsigned int alt_code = sysrq->alt_use;
alt_code          759 drivers/tty/sysrq.c 		input_inject_event(handle, EV_KEY, alt_code, 1);
alt_code          764 drivers/tty/sysrq.c 		input_inject_event(handle, EV_KEY, alt_code, 0);