_kern_get_next_port_info
extern status_t _kern_get_next_port_info(team_id team, int32 *cookie,
return _kern_get_next_port_info(team, cookie, info);