Tiny nit: On 10/24/2018 12:40 PM, Marius Muench wrote: > > + /* AAPCS does not use a frame register, so we can abort here. */ There should be a double space after the period. > + if (gdbarch_tdep (gdbarch)->arm_abi == ARM_ABI_AAPCS) > + return; Thanks, Pedro Alves