PCIC_ISA_INTR_ALLOC_MASK
#ifndef PCIC_ISA_INTR_ALLOC_MASK
int pcic_isa_intr_alloc_mask = PCIC_ISA_INTR_ALLOC_MASK;