instead use uint32_t like we do in xc.c.
Signed-off-by: John Levon <john.levon@sun.com>
static PyObject *xspy_introduce_domain(XsHandle *self, PyObject *args)
{
- domid_t dom;
+ uint32_t dom;
unsigned long page;
unsigned int port;
static PyObject *xspy_release_domain(XsHandle *self, PyObject *args)
{
- domid_t dom;
+ uint32_t dom;
struct xs_handle *xh = xshandle(self);
bool result = 0;
static PyObject *xspy_get_domain_path(XsHandle *self, PyObject *args)
{
struct xs_handle *xh = xshandle(self);
- int domid;
+ uint32_t domid;
char *xsval;
if (!xh)