Symbol: pci_6600_pickintr
sys/arch/alpha/pci/pci_6600.h
6
void pci_6600_pickintr(struct tsp_config *);
sys/arch/alpha/pci/tsc.c
202
pci_6600_pickintr(pcp);