taglinefilesource code
sti_ptr117kernel/FPU-emu/fpu_aux.cregister FPU_REG *sti_ptr = &st(FPU_rm);
sti_ptr119kernel/FPU-emu/fpu_aux.creg_move(sti_ptr, FPU_st0_ptr);
sti_ptr120kernel/FPU-emu/fpu_aux.creg_move(&t, sti_ptr);