tag	line	file	source code
AUX_INTS_OFF	166	kernel/chr_drv/psaux.c	aux_write_cmd(AUX_INTS_OFF);    /* disable controller ints */
AUX_INTS_OFF	294	kernel/chr_drv/psaux.c	aux_write_cmd(AUX_INTS_OFF);    /* disable controller ints */