x86_msr_xcall
xc = xc_broadcast(0, x86_msr_xcall, &msr, NULL);
xc = xc_broadcast(0, (xcfunc_t)x86_msr_xcall, &msr, NULL);