Re: [Xen-devel] headers.chk failing under certain circumstances.

[Keir Fraser <keir@xxxxxxx>]

On 13/12/2011 14:17, "Jan Beulich" <JBeulich@xxxxxxxx> wrote:

>> Given that uint64_aligned_t is a
>> sensible datatype to be using with the hypercall interface, fixing the
>> check seems to be the correct solution.
> 
> Sensible or not, you would have to find a way to define such a type
> in a compiler-independent (i.e. ANSI conforming) manner, and I'm
> afraid you won't be able to.

Yes, as barbaric as it may seem you just have to make sure that uint64_t
gets naturally 8-byte aligned. Luckily none of our interface structures are
particularly large, and I believe you can get them checked for 32/64-bit
invariance by adding them to xlat.lst.

 -- Keir



_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel