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