<dec f='src/src/sys/sys/kgdb.h' l='85' type='int'/>
