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