taglinefilesource code
reg_load_int64110drivers/FPU-emu/fpu_proto.hextern void reg_load_int64(void);
reg_load_int64191drivers/FPU-emu/load_store.creg_load_int64();