#include <kern/time.h>
#include <kern/thread.h>
#include <kern/mem.h>
+#include <kern/process.h>
using namespace Mem;
namespace Mem {
printf("aspace %p created\n", (void *)aspace);
- AddrSpace *kaspace = AddrSpace::classptr(aspace);
+ ProcAddrSpace *kaspace = static_cast<ProcAddrSpace *>(AddrSpace::classptr(aspace));
printf("kaspace %p\n", kaspace);