x64_gdt[4].base_high = (tss_addr & 0xff000000) >> 24;
asm volatile("ltr %w0" : : "r" (0x20) : "memory");
- init_thread->addr_space = new Mem::AddrSpace(x64_init_ptbl_l4);
- init_thread->active_addr_space = init_thread->addr_space;
+ init_thread->aspace = new Mem::AddrSpace(x64_init_ptbl_l4);
+ init_thread->active_aspace = init_thread->aspace;
}
void timer_init()
goto bad_fault;
// Don't allow fault-ins using a borrowed addr-space.
- as = curthread->addr_space;
+ as = curthread->aspace;
if (!as || curthread == Arch::init_thread)
goto bad_fault;