AFAICT, XENMEM_current_reservation and XENMEM_maximum_reservation are not used by Linux. However, if they were do we have to pass the domid_t as a pointer? could we not pass it by value? file: xen/common/memory.c: 369 Rather than if ( copy_from_guest(&domid, arg, 1) ) how about: domid = (domid_t)arg; thoughts? -JX _______________________________________________ Xen-devel mailing list Xen-devel@lists.xensource.com http://lists.xensource.com/xen-devel