tag	line	file	source code
ide_selectproc_t	379	drivers/block/ide.h	typedef void (ide_selectproc_t) (ide_drive_t *);
ide_selectproc_t	399	drivers/block/ide.h	ide_selectproc_t *selectproc;  /* tweaks hardware to select drive */