set_user_msr
return set_user_msr(task, data);
ret = set_user_msr(target, reg);
set_user_msr(target, *k++);
set_user_msr(target, reg);