taglinefilesource code
PREFIX_GS573drivers/FPU-emu/fpu_entry.ccase PREFIX_GS:
PREFIX_GS574drivers/FPU-emu/fpu_entry.coverride->segment = PREFIX_GS;