tag	line	file	source code
sbpcd_chk_disk_change	432	drivers/block/sbpcd.c	static int sbpcd_chk_disk_change(dev_t);
sbpcd_chk_disk_change	4058	drivers/block/sbpcd.c	sbpcd_chk_disk_change,  /* media_change */