tag	line	file	source code
hgif	1457	drivers/block/ide.c	ide_hwif_t *hgif = hwgroup->hwif;
hgif	1458	drivers/block/ide.c	ide_hwif_t *hwif = hgif;
hgif	1461	drivers/block/ide.c	} while ((hwif = hwif->next) != hgif);
hgif	1465	drivers/block/ide.c	} while ((hwif = hwif->next) != hgif);