cobp_free_mem
void cobp_free_mem(caddr_t, size_t);
cobp_free_mem(temp_base[i], temp_size[i]);
cobp_free_mem((caddr_t)(uintptr_t)arbase, arsize);