set_page_pfns
set_page_pfns(vb, vb->pfns + vb->num_pfns, page);
set_page_pfns(vb, vb->pfns, newpage);
set_page_pfns(vb, vb->pfns, page);