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
..
armadillo9_com.c	C99 types	2012-11-12 18:00:34 +00:00
armadillo9_iic.c	split device_t/softc for all remaining drivers.	2012-10-27 17:17:22 +00:00
armadillo9_machdep.c	Replace more vm_offset_t, vm_size_t with vaddr_t, vsize_t	2014-09-13 18:08:38 +00:00
armadillo9_pcic.c	split device_t/softc for all remaining drivers.	2012-10-27 17:17:22 +00:00
armadillo9_start.S	Add RCSID when needed.	2011-01-31 06:28:02 +00:00
armadillo9reg.h
armadillo9var.h
TODO