switch(domctl->u.shadow_op.op)
{
case VKI_XEN_DOMCTL_SHADOW_OP_OFF:
+ case VKI_XEN_DOMCTL_SHADOW_OP_GET_ALLOCATION:
/* No further inputs */
break;
PRE_XEN_DOMCTL_READ(shadow_op, pages);
break;
+ case VKI_XEN_DOMCTL_SHADOW_OP_SET_ALLOCATION:
+ PRE_XEN_DOMCTL_READ(shadow_op, mb);
+ break;
+
default:
bad_subop(tid, layout, arrghs, status, flags,
"__HYPERVISOR_domctl shadow(10)",
switch(domctl->u.shadow_op.op)
{
case VKI_XEN_DOMCTL_SHADOW_OP_OFF:
+ case VKI_XEN_DOMCTL_SHADOW_OP_SET_ALLOCATION:
/* No outputs */
break;
domctl->u.shadow_op.pages * sizeof(vki_uint8_t));
break;
+ case VKI_XEN_DOMCTL_SHADOW_OP_GET_ALLOCATION:
+ POST_XEN_DOMCTL_WRITE(shadow_op, mb);
+ break;
+
default:
break;
}