PATCH: Add x32 XML files

[H.J. Lu]

On Fri, Apr 6, 2012 at 7:35 AM, H.J. Lu <hjl.tools@gmail.com> wrote:
> On Mon, Apr 2, 2012 at 9:50 AM, H.J. Lu <hongjiu.lu@intel.com> wrote:
>> Hi,
>>
>> This patch adds x32 XML files as well as files generated from them.
>> The main difference 64bit-core.xml and x32-core.xml is RSP/RBP/RIP
>> use 64bit type explicitly, instead of data_ptr and code_ptr, since
>> x32 is really running in 64bit mode in hardware.  OK for trunk?
>>
>> Thanks.
>
> Mark raised the issue of rip/rbp/rsp registers.  They have 64bit integer
> types in x32.  pc/sp/eip/ebp/esp have code_ptr and data_ptr types
> in x32.  Are any objections to x32 XML files?
>

I am checking in this and I will submit other x32 patches.

Thanks.

-- 
H.J.