ST_DEC_4100
cpu_init(ST_DEC_4100, dec_kn300_init, "DEC_KN300"),
if (cputype != ST_DEC_4100)
ALPHA_PCI_INTR_INIT(ST_DEC_4100, pci_kn300_pickintr)