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
imx31lk_reg.h
imx31lk_start.S