ST_EB64P
cpu_init(ST_EB64P, dec_eb64plus_init, "DEC_EB64PLUS"),
ALPHA_PCI_INTR_INIT(ST_EB64P, pci_eb64plus_pickintr)