taglinefilesource code
reg_store_double119drivers/FPU-emu/fpu_proto.hextern int reg_store_double(void);
reg_store_double128drivers/FPU-emu/load_store.creg_store_double();
reg_store_double148drivers/FPU-emu/load_store.cif ( reg_store_double() )