Hello,

It turns out that there is only one call to write_sp() in core GDB, 
found in hand_function_call().  Since that call is made redundant by 
push_dummy_call(), I think it should be removed / deprecated.  This is 
just a tiny step - replace it with the underlying TARGET_WRITE_SP().

I'll commit in a day or so,
Andrew