MCPCIA_PCI_REV
ctl = REGVAL(MCPCIA_PCI_REV(ccp));
if (badaddr((void *)ALPHA_PHYS_TO_K0SEG(MCPCIA_PCI_REV(ccp)),
if (EISA_PRESENT(REGVAL(MCPCIA_PCI_REV(ccp)))) {
if (EISA_PRESENT(REGVAL(MCPCIA_PCI_REV(ccp)))) {