Example #1
0
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;
	}
}
Example #2
0
status_t
delete_area(area_id id)
{
	return _kern_delete_area(id);
}