On Jan 24, 2008 6:45 AM, Pedro Alves <pedro@codesourcery.com> wrote: > Since Jim didn't really object, I'll go with the original > arm-tdep.c patch. Cool with me.