* mips-tdep.c (mips_o32_push_dummy_call): Take account of