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
..
imx31lk_machdep.c	Replace more vm_offset_t, vm_size_t with vaddr_t, vsize_t	2014-09-13 18:08:38 +00:00
imx31lk_pcic.c	C99 types	2012-11-12 18:00:34 +00:00
imx31lk_reg.h
imx31lk_start.S	Deal with ARM_MMU_EXTENDED.	2014-03-30 23:12:26 +00:00