blob: a8407dd35c5e85710ca0c58dfda2115d091e7e36 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */
#ifndef __ARCH_ARM_LIBGCC_LIBGCC_H__
#define __ARCH_ARM_LIBGCC_LIBGCC_H__
#include <stdint.h>
uint64_t __umoddi3(uint64_t num, uint64_t den);
uint64_t __udivmoddi4(uint64_t num, uint64_t den, uint64_t *rem);
#endif
|
