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
..
ixdp425_led.c	…
ixdp425_machdep.c	Consistently use vaddr_t as initarm and friends return type.	2019-07-16 14:41:43 +00:00
ixdp425_mainbus.c	…
ixdp425_pci.c	Fix compile error for *_pci_intr_establish().	2019-01-09 07:49:22 +00:00
ixdp425_start.S	…
ixdp425reg.h	…
ixdp425var.h	…