set_xen_guest_handle(kern_op.u.vcpuaffinity.cpumap.bitmap,
(void *)desc);
break;
+ case XEN_DOMCTL_gethvmcontext:
+ case XEN_DOMCTL_sethvmcontext:
+ if (kern_op.u.hvmcontext.size > 0)
+ desc = xencomm_map(
+ xen_guest_handle(kern_op.u.hvmcontext.buffer),
+ kern_op.u.hvmcontext.size);
+ if (xen_guest_handle(kern_op.u.hvmcontext.buffer) != NULL &&
+ kern_op.u.hvmcontext.size > 0 && desc == NULL)
+ return -ENOMEM;
+ set_xen_guest_handle(kern_op.u.hvmcontext.buffer, (void*)desc);
+ break;
case XEN_DOMCTL_max_vcpus:
case XEN_DOMCTL_scheduler_op:
case XEN_DOMCTL_setdomainhandle: