the ppref array. Otherwise, the newly ref'ed pages will be doubly counted and thus never freed because the pprefcnt can't fall to 0.