On Tue, May 15, 2012 at 9:07 AM, Michael Matz <m...@suse.de> wrote: > Hi, > > On Mon, 14 May 2012, H.J. Lu wrote: > >> > As a minor nitpick, I have always used x32 with a lower case x. The >> > capital X32 looks odd to me. >> > >> >> I used X32 together with LP64. I can use ILP32 instead of X32 when LP64 >> is mentioned at the same time. > > I'd prefer that. x32 is a nice short-hand name for the whole thing, but > not descriptive, unlike LP64. So, yes, IMO it should be ILP32 in the ABI > document. >
Here is the updated change. Any comments? Thanks. -- H.J.
psabi-x32-2.patch
Description: Binary data
