[RFC] Linux-specific ppc32 ABI

[Luis Machado]

> Assuming a difference in ABI does exist:

Yes, there are a few differences between what the SYSTEM V ABI says and
what Linux actually does. But most of the Linux specs follow the SYSTEM
V ABI.

> How about an extra flag inside the gdbarch_tdep structure that
> you'll be using inside the push dummy call?  It would be a shame
> duplicate this function when most of it is common.

Yes. This would work, but putting linux specific code inside the
ppc-sysv-tdep.c file doesn't look quite right. But if there isn't a
better way of doing this, should be OK.

Regards,

-- 
Luis Machado
Software Engineer 
IBM Linux Technology Center