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
..
audio_mini2440.c	…
if_dm_mini2440.c	…
mini2440_bootinfo.h	…
mini2440_lcd.c	…
mini2440_machdep.c	Replace more vm_offset_t, vm_size_t with vaddr_t, vsize_t	2014-09-13 18:08:38 +00:00
mini2440_start.S	…