pmap_machine_check_bootstrap_allocations
PMAP_BOOTSTRAP_RELOC_GLOB(pmap_machine_check_bootstrap_allocations);
void pmap_machine_check_bootstrap_allocations(paddr_t, paddr_t);
pmap_machine_check_bootstrap_allocations(nextpa, firstpa);