void unmap_image(image_t* image) { for (uint32 i = 0; i < image->num_regions; i++) { _kern_delete_area(image->regions[i].id); image->regions[i].id = -1; } }
status_t delete_area(area_id id) { return _kern_delete_area(id); }