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