[PATCH v2 0/4] xen/public: use fixed-size integers

[Stefano Stabellini]

Hi all,

This short patch series replaces integers without a fixed size with
fixed-size integers in public headers.

Cheers,

Stefano