tag	line	file	source code
send_cmd	346	drivers/char/keyboard.c	send_cmd(0xAD);    /* disable keyboard */
send_cmd	575	drivers/char/keyboard.c	send_cmd(0xAE);         /* enable keyboard */