#include <kern/time.h>
#include <kern/thread.h>
#include <kern/mem.h>
+#include <kern/process.h>
#include <arch/addrs.h>
#include <arch/multiboot.h>
Priv::tss.ss0 = 8;
asm volatile("ltr %w0" : : "r" (0x18) : "memory");
- init_thread->addr_space = new Mem::AddrSpace(x86_init_ptbl_l2);
+ init_thread->addr_space = new Mem::ProcAddrSpace(x86_init_ptbl_l2);
init_thread->active_addr_space = init_thread->addr_space;
}