xdt_update_domain_context
xdt_update_domain_context(dom, vcpu);
xdt_update_domain_context(sp->cur_domid,
xdt_update_domain_context(data[0], data[1]);
xdt_update_domain_context(data[2], data[3]);