_kern_get_area_info
extern status_t _kern_get_area_info(area_id area, area_info *info);
return _kern_get_area_info(id, areaInfo);