taglinefilesource code
hgif1449drivers/block/ide.cide_hwif_t *hgif = hwgroup->hwif;
hgif1450drivers/block/ide.cide_hwif_t *hwif = hgif;
hgif1453drivers/block/ide.c} while ((hwif = hwif->next) != hgif);
hgif1457drivers/block/ide.c} while ((hwif = hwif->next) != hgif);