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