_kern_set_area_protection
extern status_t _kern_set_area_protection(area_id area,
return _kern_set_area_protection(id, protection);
_kern_set_area_protection(info.area,
status_t result = _kern_set_area_protection(region.id, protection);