#include <stdint.h>
#include <stdio.h>
#include <string.h>
-#include "threads/mmu.h"
#include "threads/palloc.h"
#include "threads/synch.h"
+#include "threads/vaddr.h"
/* A simple implementation of malloc().
}
/* Frees block P, which must have been previously allocated with
- malloc() or calloc(). */
+ malloc(), calloc(), or realloc(). */
void
free (void *p)
{