#include <kern/time.h>
#include <kern/thread.h>
#include <kern/mem.h>
+#include <kern/process.h>
using namespace Mem;
namespace Mem {
(void *)stacked[0], (void *)stacked[1],
(void *)mappables[0], (void *)mappables[1]);
- char *buf = new char[100000];
+// char *buf = new char[100000];
+ char *buf = (char *)alloc_pages(25);
printf("buf %p\n", buf);
char *abuf = (char *)((((ulong)buf) + 4095) & ~4095);