IO_PORTS 62 kernel/genarch/src/ddi/ddi-bitmap.c if (elements > IO_PORTS) IO_PORTS 125 kernel/genarch/src/ddi/ddi-bitmap.c if (elements > IO_PORTS)