tag	line	file	source code
set_device_ro	89	drivers/block/blk.h	extern void set_device_ro(int dev,int flag);
set_device_ro	99	drivers/block/blk.h	set_device_ro((dev),get_fs_long((long *) (where))); return 0; \