taglinefilesource code
ok_to_read492drivers/block/hd.cgoto ok_to_read;
ok_to_read498drivers/block/hd.cok_to_read:
ok_to_read520drivers/block/hd.cgoto ok_to_read;