1. 2009-04-29 Re: [Xen-devel] int32_t undefined in mini-os/include/ xen-devel Samuel Thibault 2. 2009-04-29 [Xen-devel] int32_t undefined in mini-os/include/posi xen-devel Ferenc Wagner