taglinefilesource code
reg_load_int64117drivers/FPU-emu/fpu_proto.hextern void reg_load_int64(long long *_s, FPU_REG *loaded_data);
reg_load_int64220drivers/FPU-emu/load_store.creg_load_int64((long long *)data_address, st0_ptr);