tag	line	file	source code
set_device_ro	75	kernel/blk_drv/blk.h	extern void set_device_ro(int dev,int flag);
set_device_ro	85	kernel/blk_drv/blk.h	set_device_ro((dev),get_fs_long((long *) (where))); return 0; \