Import backup from 2004-12-30

kernel/mm/vmm.c

@@ -7,7 +7,7 @@
 #include "hos_defines.h"
 #include "kernel.h"
 #include "mm/vmm.h"
-#include "lang/asmfuncs.h"
+#include "lang/lang.h"
 #include "mm/mm.h"
 
 int	vmm_map_range(void *virt_start, void *virt_end, u32_t phys_start);