Symbol: ST_ALPHABOOK1
sys/arch/alpha/alpha/cpuconf.c
232
cpu_init(ST_ALPHABOOK1, dec_alphabook1_init, "DEC_ALPHABOOK1"),
sys/arch/alpha/pci/pci_alphabook1.c
109
ALPHA_PCI_INTR_INIT(ST_ALPHABOOK1, pci_alphabook1_pickintr)