PDX                41 vm.c             pde = &pgdir[PDX(va)];
PDX               268 vm.c                 a = PGADDR(PDX(a) + 1, 0, 0) - PGSIZE;