<dec f='src/src/sys/dev/pci/puccn.h' l='52' type='void puc_gdbinit(struct consdev * )'/>
