ps2mult_select_port   84 drivers/input/serio/ps2mult.c 		ps2mult_select_port(psm, port);
ps2mult_select_port  158 drivers/input/serio/ps2mult.c 	ps2mult_select_port(psm, &psm->ports[PS2MULT_KBD_PORT]);