taglinefilesource code
fake_volatile510kernel/exit.cfake_volatile:
fake_volatile543kernel/exit.cgoto fake_volatile;
fake_volatile16lib/_exit.cfake_volatile:
fake_volatile18lib/_exit.cgoto fake_volatile;