| /* This file is a temporary workaround for mapping of the generated information | |
| * to the current driver definitions. This will be removed when the drivers | |
| * are modified to handle the generated information, or the mapping of | |
| * generated data matches the driver definitions. | |
| */ | |
| #define CONFIG_NUM_IRQ_PRIO_BITS ARM_V7M_NVIC_E000E100_ARM_NUM_IRQ_PRIORITY_BITS |