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 | ||