<dec f='src/src/sys/sys/kgdb.h' l='86' type='label_t *'/>
