Justin Hibbits f8fd3fb518 Fix the resource_list_print_type() calls to use uintmax_t. ... Missed a bunch from r297000.		2016-03-22 22:25:08 +00:00
..
beri_machdep.c	Make the memory size returned from fdt_get_mem_regions a 64-bit type. This	2016-03-01 11:39:07 +00:00
beri_pic.c	…
beri_simplebus.c	Fix the resource_list_print_type() calls to use uintmax_t.	2016-03-22 22:25:08 +00:00
fdt_ic_if.m	…
files.beri	…
std.beri	…