![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include "libgcc.h"
Go to the source code of this file.
Functions | |
uint64_t | __udivmoddi4 (uint64_t num, uint64_t den, uint64_t *rem_p) |
Definition at line 5 of file udivmoddi4.c.
Referenced by __umoddi3().