Symbol: copy_mc_to_user