if (1 || pmapdebug & (PDB_FOLLOW|PDB_INIT))
if (pmapdebug & (PDB_FOLLOW|PDB_INIT))
pmap_init(phys_start, phys_end)	vm_offset_t phys_start, phys_end;#endif{#ifdef DEBUG	if (1 || pmapdebug & (PDB_FOLLOW|PDB_INIT))#ifdef MACHINE_NONCONTIG		printf("pmap_init(%lx, %lx)\n", avail_start, avail_end);#else		printf("pmap_init(%lx, %lx)\n", phys_start, phys_end);#endif#endif /*DEBUG*/}