TCIC_ISA_INTR_ALLOC_MASK
#ifndef TCIC_ISA_INTR_ALLOC_MASK
int tcic_isa_intr_alloc_mask = TCIC_ISA_INTR_ALLOC_MASK;