1# Description file for mpc_div_2ui 2# 3# Copyright (C) 2013 INRIA 4# 5# This file is part of GNU MPC. 6# 7# GNU MPC is free software; you can redistribute it and/or modify it under 8# the terms of the GNU Lesser General Public License as published by the 9# Free Software Foundation; either version 3 of the License, or (at your 10#o ption) any later version. 11# 12# GNU MPC is distributed in the hope that it will be useful, but WITHOUT ANY 13# WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS 14# FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for 15# more details. 16# 17# You should have received a copy of the GNU Lesser General Public License 18# along with this program. If not, see http://www.gnu.org/licenses/ . 19# 20NAME: 21 mpc_div_2ui 22RETURN: 23 mpc_inex 24OUTPUT: 25 mpc_ptr 26INPUT: 27 mpc_srcptr 28 unsigned long int 29 mpc_rnd_t 30