pde_t              10 kernel/exec.c  static int loadseg(pde_t *, uint64, struct inode *, uint, uint);
pde_t              96 kernel/vm.c          if(!alloc || (pagetable = (pde_t*)kalloc()) == 0)