gdt_pcinew_set_sema0  137 dev/pci/gdt_pci.c void	gdt_pcinew_set_sema0(struct gdt_softc *);
gdt_pcinew_set_sema0  443 dev/pci/gdt_pci.c 		gdt->sc_set_sema0 = gdt_pcinew_set_sema0;