freebsd-dev/sys/mips/beri
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 Follow r261352 by updating all drivers which are children of simplebus 2014-02-02 19:17:28 +00:00
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 Add configuration files for BERI soft-core synthesized on 2014-12-17 11:36:31 +00:00
std.beri