Symbol: _user_delete_area
headers/private/kernel/vm/vm.h
161
status_t _user_delete_area(area_id area);
src/add-ons/kernel/drivers/misc/poke.cpp
326
return _user_delete_area(ioctl.area);