This is an archived copy of the Xen.org mailing list, which we have
preserved to ensure that existing links to archives are not broken.
The live archive, which contains the latest emails, can be found at
http://lists.xen.org/
The installed Xen header files (/usr/include/xen/*) expect the U8, u16,
u32, etc types to already be defined. Currently, xc.h provides this in
a nonportable way. I've changed xc.h to use stdint.h, and fixed a few
printf-style format strings to match.
Thanks,
Charles