<dec f='src/src/sys/sys/kgdb.h' l='89' type='void kgdb_connect(int )'/>
