coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
umoddi3.c
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #include "libgcc.h"
4 uint64_t __umoddi3(uint64_t num, uint64_t den)
5 {
6  uint64_t v;
7  (void) __udivmoddi4(num, den, &v);
8  return v;
9 }
__udivmoddi4
uint64_t __udivmoddi4(uint64_t num, uint64_t den, uint64_t *rem)
Definition: udivmoddi4.c:5
uint64_t
unsigned long long uint64_t
Definition: stdint.h:17
__umoddi3
uint64_t __umoddi3(uint64_t num, uint64_t den)
Definition: umoddi3.c:4
void
typedef void(X86APIP X86EMU_intrFuncs)(int num)