Update pgtable.h