#include <kern/pagetable.h>
namespace Arch {
- void set_aspace(Mem::AddrSpace *aspace)
+ void set_aspace(Mem::ProcAddrSpace *aspace)
{
u32 cr3 = Mem::kvirt_to_phys(aspace->page_table->toplevel);
asm volatile("movl %0, %%cr3" : : "r" (cr3) : "memory");