1/* SPDX-License-Identifier: GPL-2.0 */
2
3#include "libgcc.h"
4
5#if BITS_PER_LONG == 32
6
7#include <div64.h>
8
9long long __udivdi3(long long u, word_type b)
10{
11	long long ret = u;
12
13	__div64_32(&ret, b);
14	return ret;
15}
16
17#endif /* BITS_PER_LONG == 32 */
18