tag	line	file	source code
read_710	543	drivers/char/psaux.c	if (read_710(0x0f) != 0xe4)    /* Config address found? */
read_710	545	drivers/char/psaux.c	qp_data = read_710(0x0d)*4;    /* Get mouse I/O address */