tag	line	file	source code
write_intr	586	drivers/block/hd.c	static void write_intr(void)
write_intr	670	drivers/block/ide.c	static void write_intr (ide_dev_t *dev)