contig_free
contig_free(addr, size);
contig_free(addr, size);
contig_free((void *)fb->fb_pte_list_va,
contig_free((void *)newkernel.fi_pagetable_va,
extern void contig_free(void *addr, size_t size);
contig_free((void *)nk->fi_new_mbi_va, nk->fi_mbi_size);
contig_free((void *)fb->fb_va, fsize_roundup);
contig_free((void *)fb->fb_pte_list_va, fb->fb_pte_list_size);
contig_free((void *)nk->fi_pagetable_va, nk->fi_pagetable_size);
contig_free((void *)nk->fi_new_mbi_va, nk->fi_mbi_size);
extern void contig_free(void *, size_t);
contig_free(addr, size);