taglinefilesource code
write_intr582drivers/block/hd.cstatic void write_intr(void)
write_intr692drivers/block/ide.cstatic void write_intr (ide_dev_t *dev)