_kern_stop_notifying
extern status_t _kern_stop_notifying(port_id port, uint32 token);
return _kern_stop_notifying(port, token);