tag	line	file	source code
save_port3	3301	drivers/block/sbpcd.c	u_char save_port3;
save_port3	3305	drivers/block/sbpcd.c	save_port3=inb(port+3);
save_port3	3389	drivers/block/sbpcd.c	OUT(port+3,save_port3);