there's an issue with gdb-2013.05/sim/arm/armsupp.c:639. I believe it should 'return result;' instead of 'return;'