bootmem_free
bootmem_free(ptoa(fp), ptoa(lp) - ptoa(fp));
bootmem_free(CKSEG0_TO_PHYS((vaddr_t)start), end - start);
bootmem_free(ekern, maxp - ekern);
bootmem_free(pa, ph[i].p_memsz);
void bootmem_free(paddr_t, size_t);