Symbol: vmw_user_context_base_to_res