taglinefilesource code
write_intr587drivers/block/hd.cstatic void write_intr(void)
write_intr670drivers/block/ide.cstatic void write_intr (ide_dev_t *dev)