PDB_INIT
DPRINTF(PDB_FOLLOW|PDB_INIT, ("pmap_bootstrap(0x%lx)\n", vstart));
DPRINTF(PDB_INIT, ("vtop: 0x%lx @ 0x%lx\n", size, addr));
DPRINTF(PDB_INIT, ("hpt_table: 0x%x @ %p\n",
DPRINTF(PDB_INIT,
DPRINTF(PDB_INIT, ("physpool: 0x%lx @ 0x%lx\n",
DPRINTF(PDB_INIT|PDB_VP,
DPRINTF(PDB_INIT, ("physmem: 0x%x - 0x%lx\n", resvphysmem, eaddr));
DPRINTF(PDB_INIT, ("bootstrap: mapped %p - 0x%lx\n", &etext, va));
DPRINTF(PDB_FOLLOW|PDB_INIT, ("pmap_init()\n"));
DPRINTF(PDB_FOLLOW|PDB_INIT, ("pmap_init(): done\n"));
DPRINTF(PDB_FOLLOW|PDB_INIT, ("pmap_init()\n"));