HV_HYPERCALL_MAX_XMM_REGISTERS
sse128_t xmm[HV_HYPERCALL_MAX_XMM_REGISTERS];
if (orig_cnt > 2 * HV_HYPERCALL_MAX_XMM_REGISTERS - hc->consumed_xmm_halves)
for (reg = 0; reg < HV_HYPERCALL_MAX_XMM_REGISTERS; reg++)