_kern_install_team_debugger
extern port_id _kern_install_team_debugger(team_id team,
return _kern_install_team_debugger(team, debuggerPort);