3e91d8268f
Adjust a couple of printf() lines that deal with dumping out addresses to cast to uintmax_t. This allows building a 64-bit libofw for use in things like a future Petitboot loader for PowerPC64, and other FDT platforms that require a 64-bit loader binary and want to use forth. Sponsored by: Tag1 Consulting, Inc. |
||
---|---|---|
.. | ||
devicename.c | ||
libofw.h | ||
Makefile | ||
ofw_console.c | ||
ofw_copy.c | ||
ofw_disk.c | ||
ofw_memory.c | ||
ofw_module.c | ||
ofw_net.c | ||
ofw_reboot.c | ||
ofw_time.c | ||
openfirm.c | ||
openfirm.h |