coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
libgcc.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef __ARCH_ARM_LIBGCC_LIBGCC_H__
4 #define __ARCH_ARM_LIBGCC_LIBGCC_H__
5 
6 #include <stdint.h>
7 
8 uint64_t __umoddi3(uint64_t num, uint64_t den);
9 uint64_t __udivmoddi4(uint64_t num, uint64_t den, uint64_t *rem);
10 
11 #endif
__umoddi3
uint64_t __umoddi3(uint64_t num, uint64_t den)
Definition: umoddi3.c:4
__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