Re: [Xen-devel] [PATCH RESEND 04/14] tools: add ACPI tables relevant definitions

[Julien Grall <julien.grall@xxxxxxx>]

Hi Shannon,

On 22/06/2016 09:50, Shannon Zhao wrote:
> > You could define our own u8, u32 types in libxc. They are just aliased
> > to uint8_t, uint32_t.
> Ah, right. But looking at the types.h it defines u64 differently for
> ARM_32 and ARM_64. Do we need to do that? If so, how could we get the
> CONFIG_ARM_32 and CONFIG_ARM_64 since they are dynamically generated?
You can use the type uint64_t which is defined by stdint.h.

> Or since we only generate ACPI tables for 64bit domain, could we just
> assume it's ARM64 for ACPI?
The toolstack may run in a 32-bit domain even on top of a 64-bit Xen ARM.

Cheers,

--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel