Re: [Xen-devel] [PATCH v3 14/14] libxl: build a device tree for ARM guests

[Ian Campbell <Ian.Campbell@xxxxxxxxxx>]

On Thu, 2013-11-07 at 17:30 +0000, Ian Jackson wrote:
> > +typedef uint32_t __be32;
> > +typedef __be32 gic_interrupt_t[3];
> 
> Identifiers starting with __, and ones ending _t, are reserved for the
> C implementation.

I couldn't find any standards defined types for endian specific types so
I went with be32. If you know of a standard type please let me know...

gic_interrupt for the other one.


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