get_user_msr
*data = get_user_msr(task);
membuf_store(&to_msr, get_user_msr(target));
membuf_store(&to, (u32)get_user_msr(target));