Created attachment 102488 [details] Patch 1/1 The getvcpuaffinity DOMCTL is wrongly identified as setvcpuaffinity. The attached patch fixes it.