PCIC_ISA_ALLOC_IOBASE
#ifndef PCIC_ISA_ALLOC_IOBASE
int pcic_isa_alloc_iobase = PCIC_ISA_ALLOC_IOBASE;