skrll bee3dfab54 Consistently use vaddr_t as initarm and friends return type. ...

Makes no difference to binaries except for aarch64 where it's required

2019-07-16 14:41:43 +00:00

..

fdt_machdep.c

Consistently use vaddr_t as initarm and friends return type.

2019-07-16 14:41:43 +00:00

fdt_memory.c

…

fdt_memory.h

…

machdep.h

…

platform.h

…