src/arch/arm/libgcc/umoddi3.c

   1 /*
   2  * This file is part of the coreboot project.
   3  *
   4  * This program is free software; you can redistribute it and/or modify
   5  * it under the terms of the GNU General Public License as published by
   6  * the Free Software Foundation; version 2 of the License.
   7  *
   8  * This program is distributed in the hope that it will be useful,
   9  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  10  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  11  * GNU General Public License for more details.
  12  *
  13  * You should have received a copy of the GNU General Public License
  14  * along with this program; if not, write to the Free Software
  15  * Foundation, Inc.
  16  */
  17
  18 #include "libgcc.h"
  19 uint64_t __umoddi3(uint64_t num, uint64_t den)
  20 {
  21         uint64_t v;
  22         (void) __udivmoddi4(num, den, &v);
  23         return v;
  24 }