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@lists.xen.org
http://lists.xen.org/xen-devel
