<dec f='src/src/sys/sys/kgdb.h' l='88' type='void kgdb_attach(int (*)(void *) , void (*)(void *, int) , void * )'/>
