matt d3d059aa5f Replace more vm_offset_t, vm_size_t with vaddr_t, vsize_t ... Use paddr_t for msgbufphys		2014-09-13 18:08:38 +00:00
..
ixdp425_led.c	struct device * -> device_t for IXP4xx (and nslu2).	2012-10-14 14:20:57 +00:00
ixdp425_machdep.c	Replace more vm_offset_t, vm_size_t with vaddr_t, vsize_t	2014-09-13 18:08:38 +00:00
ixdp425_mainbus.c	struct device * -> device_t for IXP4xx (and nslu2).	2012-10-14 14:20:57 +00:00
ixdp425_pci.c	make pci_intr_string and eisa_intr_string take a buffer and a length	2014-03-29 19:28:24 +00:00
ixdp425_start.S
ixdp425reg.h
ixdp425var.h