PDT_ADDR_PHYS_MASK
addr = pde & PDT_ADDR_PHYS_MASK;
addr = pdt_entry[i] & PDT_ADDR_PHYS_MASK;
pde & PDT_ADDR_PHYS_MASK);