tag	line	file	source code
save_port3	3231	drivers/cdrom/sbpcd.c	u_char save_port3;
save_port3	3235	drivers/cdrom/sbpcd.c	save_port3=inb(port+3);
save_port3	3319	drivers/cdrom/sbpcd.c	OUT(port+3,save_port3);