Brandon Bergren 3e91d8268f Fix 64-bit build of libofw. ...

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.

2020-09-08 23:22:11 +00:00

..

devicename.c

…

libofw.h

veloader use vectx API for kernel and modules

2020-03-08 17:42:42 +00:00

Makefile

loader: libofw build is missing sys/list.h after r362431

2020-06-20 08:22:57 +00:00

ofw_console.c

…

ofw_copy.c

veloader use vectx API for kernel and modules

2020-03-08 17:42:42 +00:00

ofw_disk.c

…

ofw_memory.c

Fix 64-bit build of libofw.

2020-09-08 23:22:11 +00:00

ofw_module.c

…

ofw_net.c

Redo r360540 to retain the ifndef sparc code, not delete it.

2020-05-01 18:36:48 +00:00

ofw_reboot.c

…

ofw_time.c

…

openfirm.c

…

openfirm.h

…