* Copyright (c) 2001,2003,2004 David H. Hovemeyer <daveho@cs.umd.edu>
* Copyright (c) 2003, Jeffrey K. Hollingsworth <hollings@cs.umd.edu>
* Copyright (c) 2004, Iulian Neamtiu <neamtiu@cs.umd.edu>
- * $Revision: 1.14 $
+ * $Revision: 1.15 $
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "COPYING".
#include <geekos/mem.h>
#include <geekos/paging.h>
#include <geekos/ide.h>
+#include <geekos/malloc.h>
#include <geekos/debug.h>
#include <geekos/vmm.h>
os_hooks.print_trace = &SerialPrint;
os_hooks.Allocate_Pages = &Allocate_VMM_Pages;
os_hooks.Free_Page = &Free_VMM_Page;
-
+ os_hooks.malloc = &VMM_Malloc;
+ os_hooks.free = &VMM_Free;
+
+
Init_VMM(&os_hooks, &vmm_ops);