Import backup from 2004-08-06

kernel/mm/vmm.h

@@ -38,10 +38,10 @@ typedef struct {
 
 
 void	vmm_init();
-void *kmalloc(u32_t size);
-int kfree(void *addr);
-void *vmm_palloc();
-int vmm_pfree(void *addr);
+void	*kmalloc(u32_t size);
+int	kfree(void *addr);
+void	*vmm_palloc();
+int	vmm_pfree(void *addr);
 void	*kcalloc(unsigned int number, unsigned int size);
 
 #endif