tag	line	file	source code
ide_cdrom_check_media_change	2037	drivers/block/ide.c	return ide_cdrom_check_media_change (drive);
ide_cdrom_check_media_change	589	drivers/block/ide.h	int ide_cdrom_check_media_change (ide_drive_t *);