tag	line	file	source code
save_port0	3299	drivers/block/sbpcd.c	u_char save_port0;
save_port0	3303	drivers/block/sbpcd.c	save_port0=inb(port+0);
save_port0	3387	drivers/block/sbpcd.c	OUT(port+0,save_port0);