dump_add_page
void dump_add_page(vm_paddr_t);
dump_add_page(pdp[i] & PG_FRAME);
dump_add_page(pa);
dump_add_page(pd[j] & PG_FRAME);
dump_add_page(pa);
dump_add_page(pa);