taglinefilesource code
ok_to_write380kernel/blk_drv/hd.cgoto ok_to_write;
ok_to_write392kernel/blk_drv/hd.cok_to_write: