functions and definitions renamed from lm_ to tiva_

1 files changed, 306 insertions, 306 deletions

diff --git a/nuttx/arch/arm/src/tiva/chip/lm3s_vectors.h b/nuttx/arch/arm/src/tiva/chip/lm3s_vectors.h
index 7b76a6611..c5eef0229 100644
--- a/nuttx/arch/arm/src/tiva/chip/lm3s_vectors.h
+++ b/nuttx/arch/arm/src/tiva/chip/lm3s_vectors.h
@@ -62,67 +62,67 @@
 
 #else
 
-VECTOR(lm_gpioa, LM_IRQ_GPIOA)       /* Vector 16: GPIO Port A */
-VECTOR(lm_gpiob, LM_IRQ_GPIOB)       /* Vector 17: GPIO Port B */
-VECTOR(lm_gpioc, LM_IRQ_GPIOC)       /* Vector 18: GPIO Port C */
-VECTOR(lm_gpiod, LM_IRQ_GPIOD)       /* Vector 19: GPIO Port D */
-
-VECTOR(lm_gpioe, LM_IRQ_GPIOE)       /* Vector 20: GPIO Port E */
-VECTOR(lm_uart0, LM_IRQ_UART0)       /* Vector 21: UART 0 */
-VECTOR(lm_uart1, LM_IRQ_UART1)       /* Vector 22: UART 1 */
-VECTOR(lm_ssi0, LM_IRQ_SSI0)         /* Vector 23: SSI 0 */
-VECTOR(lm_i2c0, LM_IRQ_I2C0)         /* Vector 24: I2C 0 */
-UNUSED(LM_RESERVED_25)               /* Vector 25: Reserved */
-UNUSED(LM_RESERVED_26)               /* Vector 26: Reserved */
-UNUSED(LM_RESERVED_27)               /* Vector 27: Reserved */
-UNUSED(LM_RESERVED_28)               /* Vector 28: Reserved */
-UNUSED(LM_RESERVED_29)               /* Vector 29: Reserved */
-
-VECTOR(lm_adc0, LM_IRQ_ADC0)         /* Vector 30: ADC Sequence 0 */
-VECTOR(lm_adc1, LM_IRQ_ADC1)         /* Vector 31: ADC Sequence 1 */
-VECTOR(lm_adc2, LM_IRQ_ADC2)         /* Vector 32: ADC Sequence 2 */
-VECTOR(lm_adc3, LM_IRQ_ADC3)         /* Vector 33: ADC Sequence 3 */
-VECTOR(lm_wdog, LM_IRQ_WDOG)         /* Vector 34: Watchdog Timer */
-VECTOR(lm_tmr0a, LM_IRQ_TIMER0A)     /* Vector 35: Timer 0 A */
-VECTOR(lm_tmr0b, LM_IRQ_TIMER0B)     /* Vector 36: Timer 0 B */
-VECTOR(lm_tmr1a, LM_IRQ_TIMER1A)     /* Vector 37: Timer 1 A */
-VECTOR(lm_tmr1b, LM_IRQ_TIMER1B)     /* Vector 38: Timer 1 B */
-VECTOR(lm_tmr2a, LM_IRQ_TIMER2A)     /* Vector 39: Timer 2 A */
-
-VECTOR(lm_tmr2b, LM_IRQ_TIMER2B)     /* Vector 40: Timer 3 B */
-VECTOR(lm_cmp0, LM_IRQ_COMPARE0)     /* Vector 41: Analog Comparator 0 */
-VECTOR(lm_cmp1, LM_IRQ_COMPARE1)     /* Vector 42: Analog Comparator 1 */
-UNUSED(LM_RESERVED_43)               /* Vector 43: Reserved */
-VECTOR(lm_syscon, LM_IRQ_SYSCON)     /* Vector 44: System Control */
-VECTOR(lm_flashcon, LM_IRQ_FLASHCON) /* Vector 45: FLASH Control */
-VECTOR(lm_gpiof, LM_IRQ_GPIOF)       /* Vector 46: GPIO Port F */
-VECTOR(lm_gpiog, LM_IRQ_GPIOG)       /* Vector 47: GPIO Port G */
-VECTOR(lm_gpioh, LM_IRQ_GPIOH)       /* Vector 48: GPIO Port H */
-UNUSED(LM_RESERVED_49)               /* Vector 49: Reserved */
-
-VECTOR(lm_ssi1, LM_IRQ_SSI1)         /* Vector 50: SSI 1 */
-VECTOR(lm_tmr3a, LM_IRQ_TIMER3A)     /* Vector 51: Timer 3 A */
-VECTOR(lm_tmr3b, LM_IRQ_TIMER3B)     /* Vector 52: Timer 3 B */
-VECTOR(lm_i2c1, LM_IRQ_I2C1)         /* Vector 53: I2C 1 */
-UNUSED(LM_RESERVED_54)               /* Vector 54: Reserved */
-UNUSED(LM_RESERVED_55)               /* Vector 55: Reserved */
-UNUSED(LM_RESERVED_56)               /* Vector 56: Reserved */
-UNUSED(LM_RESERVED_57)               /* Vector 57: Reserved */
-VECTOR(lm_eth, LM_IRQ_ETHCON)        /* Vector 58: Ethernet Controller */
-VECTOR(lm_hib, LM_IRQ_HIBERNATE)     /* Vector 59: Hibernation Module */
-
-UNUSED(LM_RESERVED_60)               /* Vector 60: Reserved */
-UNUSED(LM_RESERVED_61)               /* Vector 61: Reserved */
-UNUSED(LM_RESERVED_62)               /* Vector 62: Reserved */
-UNUSED(LM_RESERVED_63)               /* Vector 63: Reserved */
-UNUSED(LM_RESERVED_64)               /* Vector 64: Reserved */
-UNUSED(LM_RESERVED_65)               /* Vector 65: Reserved */
-UNUSED(LM_RESERVED_66)               /* Vector 66: Reserved */
-UNUSED(LM_RESERVED_67)               /* Vector 67: Reserved */
-UNUSED(LM_RESERVED_68)               /* Vector 68: Reserved */
-UNUSED(LM_RESERVED_69)               /* Vector 69: Reserved */
-
-UNUSED(LM_RESERVED_70)               /* Vector 70: Reserved */
+VECTOR(tiva_gpioa, TIVA_IRQ_GPIOA)       /* Vector 16: GPIO Port A */
+VECTOR(tiva_gpiob, TIVA_IRQ_GPIOB)       /* Vector 17: GPIO Port B */
+VECTOR(tiva_gpioc, TIVA_IRQ_GPIOC)       /* Vector 18: GPIO Port C */
+VECTOR(tiva_gpiod, TIVA_IRQ_GPIOD)       /* Vector 19: GPIO Port D */
+
+VECTOR(tiva_gpioe, TIVA_IRQ_GPIOE)       /* Vector 20: GPIO Port E */
+VECTOR(tiva_uart0, TIVA_IRQ_UART0)       /* Vector 21: UART 0 */
+VECTOR(tiva_uart1, TIVA_IRQ_UART1)       /* Vector 22: UART 1 */
+VECTOR(tiva_ssi0, TIVA_IRQ_SSI0)         /* Vector 23: SSI 0 */
+VECTOR(tiva_i2c0, TIVA_IRQ_I2C0)         /* Vector 24: I2C 0 */
+UNUSED(TIVA_RESERVED_25)                 /* Vector 25: Reserved */
+UNUSED(TIVA_RESERVED_26)                 /* Vector 26: Reserved */
+UNUSED(TIVA_RESERVED_27)                 /* Vector 27: Reserved */
+UNUSED(TIVA_RESERVED_28)                 /* Vector 28: Reserved */
+UNUSED(TIVA_RESERVED_29)                 /* Vector 29: Reserved */
+
+VECTOR(tiva_adc0, TIVA_IRQ_ADC0)         /* Vector 30: ADC Sequence 0 */
+VECTOR(tiva_adc1, TIVA_IRQ_ADC1)         /* Vector 31: ADC Sequence 1 */
+VECTOR(tiva_adc2, TIVA_IRQ_ADC2)         /* Vector 32: ADC Sequence 2 */
+VECTOR(tiva_adc3, TIVA_IRQ_ADC3)         /* Vector 33: ADC Sequence 3 */
+VECTOR(tiva_wdog, TIVA_IRQ_WDOG)         /* Vector 34: Watchdog Timer */
+VECTOR(tiva_tmr0a, TIVA_IRQ_TIMER0A)     /* Vector 35: Timer 0 A */
+VECTOR(tiva_tmr0b, TIVA_IRQ_TIMER0B)     /* Vector 36: Timer 0 B */
+VECTOR(tiva_tmr1a, TIVA_IRQ_TIMER1A)     /* Vector 37: Timer 1 A */
+VECTOR(tiva_tmr1b, TIVA_IRQ_TIMER1B)     /* Vector 38: Timer 1 B */
+VECTOR(tiva_tmr2a, TIVA_IRQ_TIMER2A)     /* Vector 39: Timer 2 A */
+
+VECTOR(tiva_tmr2b, TIVA_IRQ_TIMER2B)     /* Vector 40: Timer 3 B */
+VECTOR(tiva_cmp0, TIVA_IRQ_COMPARE0)     /* Vector 41: Analog Comparator 0 */
+VECTOR(tiva_cmp1, TIVA_IRQ_COMPARE1)     /* Vector 42: Analog Comparator 1 */
+UNUSED(TIVA_RESERVED_43)                 /* Vector 43: Reserved */
+VECTOR(tiva_syscon, TIVA_IRQ_SYSCON)     /* Vector 44: System Control */
+VECTOR(tiva_flashcon, TIVA_IRQ_FLASHCON) /* Vector 45: FLASH Control */
+VECTOR(tiva_gpiof, TIVA_IRQ_GPIOF)       /* Vector 46: GPIO Port F */
+VECTOR(tiva_gpiog, TIVA_IRQ_GPIOG)       /* Vector 47: GPIO Port G */
+VECTOR(tiva_gpioh, TIVA_IRQ_GPIOH)       /* Vector 48: GPIO Port H */
+UNUSED(TIVA_RESERVED_49)                 /* Vector 49: Reserved */
+
+VECTOR(tiva_ssi1, TIVA_IRQ_SSI1)         /* Vector 50: SSI 1 */
+VECTOR(tiva_tmr3a, TIVA_IRQ_TIMER3A)     /* Vector 51: Timer 3 A */
+VECTOR(tiva_tmr3b, TIVA_IRQ_TIMER3B)     /* Vector 52: Timer 3 B */
+VECTOR(tiva_i2c1, TIVA_IRQ_I2C1)         /* Vector 53: I2C 1 */
+UNUSED(TIVA_RESERVED_54)                 /* Vector 54: Reserved */
+UNUSED(TIVA_RESERVED_55)                 /* Vector 55: Reserved */
+UNUSED(TIVA_RESERVED_56)                 /* Vector 56: Reserved */
+UNUSED(TIVA_RESERVED_57)                 /* Vector 57: Reserved */
+VECTOR(tiva_eth, TIVA_IRQ_ETHCON)        /* Vector 58: Ethernet Controller */
+VECTOR(tiva_hib, TIVA_IRQ_HIBERNATE)     /* Vector 59: Hibernation Module */
+
+UNUSED(TIVA_RESERVED_60)                 /* Vector 60: Reserved */
+UNUSED(TIVA_RESERVED_61)                 /* Vector 61: Reserved */
+UNUSED(TIVA_RESERVED_62)                 /* Vector 62: Reserved */
+UNUSED(TIVA_RESERVED_63)                 /* Vector 63: Reserved */
+UNUSED(TIVA_RESERVED_64)                 /* Vector 64: Reserved */
+UNUSED(TIVA_RESERVED_65)                 /* Vector 65: Reserved */
+UNUSED(TIVA_RESERVED_66)                 /* Vector 66: Reserved */
+UNUSED(TIVA_RESERVED_67)                 /* Vector 67: Reserved */
+UNUSED(TIVA_RESERVED_68)                 /* Vector 68: Reserved */
+UNUSED(TIVA_RESERVED_69)                 /* Vector 69: Reserved */
+
+UNUSED(TIVA_RESERVED_70)                 /* Vector 70: Reserved */
 #endif
 
 #elif defined(CONFIG_ARCH_CHIP_LM3S6432)
@@ -139,67 +139,67 @@ UNUSED(LM_RESERVED_70)               /* Vector 70: Reserved */
 
 #else
 
-VECTOR(lm_gpioa, LM_IRQ_GPIOA)       /* Vector 16: GPIO Port A */
-VECTOR(lm_gpiob, LM_IRQ_GPIOB)       /* Vector 17: GPIO Port B */
-VECTOR(lm_gpioc, LM_IRQ_GPIOC)       /* Vector 18: GPIO Port C */
-VECTOR(lm_gpiod, LM_IRQ_GPIOD)       /* Vector 19: GPIO Port D */
-
-VECTOR(lm_gpioe, LM_IRQ_GPIOE)       /* Vector 20: GPIO Port E */
-VECTOR(lm_uart0, LM_IRQ_UART0)       /* Vector 21: UART 0 */
-VECTOR(lm_uart1, LM_IRQ_UART1)       /* Vector 22: UART 1 */
-VECTOR(lm_ssi0, LM_IRQ_SSI0)         /* Vector 23: SSI 0 */
-VECTOR(lm_i2c0, LM_IRQ_I2C0)         /* Vector 24: I2C 0 */
-UNUSED(LM_RESERVED_25)               /* Vector 25: Reserved */
-VECTOR(lm_pwm0, LM_IRQ_PWM0)         /* Vector 26: PWM Generator 0 */
-UNUSED(LM_RESERVED_27)               /* Vector 27: Reserved */
-UNUSED(LM_RESERVED_28)               /* Vector 28: Reserved */
-UNUSED(LM_RESERVED_29)               /* Vector 29: Reserved */
-
-VECTOR(lm_adc0, LM_IRQ_ADC0)         /* Vector 30: ADC Sequence 0 */
-VECTOR(lm_adc1, LM_IRQ_ADC1)         /* Vector 31: ADC Sequence 1 */
-VECTOR(lm_adc2, LM_IRQ_ADC2)         /* Vector 32: ADC Sequence 2 */
-VECTOR(lm_adc3, LM_IRQ_ADC3)         /* Vector 33: ADC Sequence 3 */
-VECTOR(lm_wdog, LM_IRQ_WDOG)         /* Vector 34: Watchdog Timer */
-VECTOR(lm_tmr0a, LM_IRQ_TIMER0A)     /* Vector 35: Timer 0 A */
-VECTOR(lm_tmr0b, LM_IRQ_TIMER0B)     /* Vector 36: Timer 0 B */
-VECTOR(lm_tmr1a, LM_IRQ_TIMER1A)     /* Vector 37: Timer 1 A */
-VECTOR(lm_tmr1b, LM_IRQ_TIMER1B)     /* Vector 38: Timer 1 B */
-VECTOR(lm_tmr2a, LM_IRQ_TIMER2A)     /* Vector 39: Timer 2 A */
-
-VECTOR(lm_tmr2b, LM_IRQ_TIMER2B)     /* Vector 40: Timer 3 B */
-VECTOR(lm_cmp0, LM_IRQ_COMPARE0)     /* Vector 41: Analog Comparator 0 */
-VECTOR(lm_cmp1, LM_IRQ_COMPARE1)     /* Vector 42: Analog Comparator 1 */
-UNUSED(LM_RESERVED_43)               /* Vector 43: Reserved */
-VECTOR(lm_syscon, LM_IRQ_SYSCON)     /* Vector 44: System Control */
-VECTOR(lm_flashcon, LM_IRQ_FLASHCON) /* Vector 45: FLASH Control */
-VECTOR(lm_gpiof, LM_IRQ_GPIOF)       /* Vector 46: GPIO Port F */
-VECTOR(lm_gpiog, LM_IRQ_GPIOG)       /* Vector 47: GPIO Port G */
-UNUSED(LM_RESERVED_48)               /* Vector 48: Reserved */
-UNUSED(LM_RESERVED_49)               /* Vector 49: Reserved */
-
-UNUSED(LM_RESERVED_50)               /* Vector 50: Reserved */
-UNUSED(LM_RESERVED_51)               /* Vector 51: Reserved */
-UNUSED(LM_RESERVED_52)               /* Vector 52: Reserved */
-UNUSED(LM_RESERVED_53)               /* Vector 53: Reserved */
-UNUSED(LM_RESERVED_54)               /* Vector 54: Reserved */
-UNUSED(LM_RESERVED_55)               /* Vector 55: Reserved */
-UNUSED(LM_RESERVED_56)               /* Vector 56: Reserved */
-UNUSED(LM_RESERVED_57)               /* Vector 57: Reserved */
-VECTOR(lm_eth, LM_IRQ_ETHCON)        /* Vector 58: Ethernet Controller */
-UNUSED(LM_RESERVED_59)               /* Vector 59: Reserved */
-
-UNUSED(LM_RESERVED_60)               /* Vector 60: Reserved */
-UNUSED(LM_RESERVED_61)               /* Vector 61: Reserved */
-UNUSED(LM_RESERVED_62)               /* Vector 62: Reserved */
-UNUSED(LM_RESERVED_63)               /* Vector 63: Reserved */
-UNUSED(LM_RESERVED_64)               /* Vector 64: Reserved */
-UNUSED(LM_RESERVED_65)               /* Vector 65: Reserved */
-UNUSED(LM_RESERVED_66)               /* Vector 66: Reserved */
-UNUSED(LM_RESERVED_67)               /* Vector 67: Reserved */
-UNUSED(LM_RESERVED_68)               /* Vector 68: Reserved */
-UNUSED(LM_RESERVED_69)               /* Vector 69: Reserved */
-
-UNUSED(LM_RESERVED_70)               /* Vector 70: Reserved */
+VECTOR(tiva_gpioa, TIVA_IRQ_GPIOA)       /* Vector 16: GPIO Port A */
+VECTOR(tiva_gpiob, TIVA_IRQ_GPIOB)       /* Vector 17: GPIO Port B */
+VECTOR(tiva_gpioc, TIVA_IRQ_GPIOC)       /* Vector 18: GPIO Port C */
+VECTOR(tiva_gpiod, TIVA_IRQ_GPIOD)       /* Vector 19: GPIO Port D */
+
+VECTOR(tiva_gpioe, TIVA_IRQ_GPIOE)       /* Vector 20: GPIO Port E */
+VECTOR(tiva_uart0, TIVA_IRQ_UART0)       /* Vector 21: UART 0 */
+VECTOR(tiva_uart1, TIVA_IRQ_UART1)       /* Vector 22: UART 1 */
+VECTOR(tiva_ssi0, TIVA_IRQ_SSI0)         /* Vector 23: SSI 0 */
+VECTOR(tiva_i2c0, TIVA_IRQ_I2C0)         /* Vector 24: I2C 0 */
+UNUSED(TIVA_RESERVED_25)                 /* Vector 25: Reserved */
+VECTOR(tiva_pwm0, TIVA_IRQ_PWM0)         /* Vector 26: PWM Generator 0 */
+UNUSED(TIVA_RESERVED_27)                 /* Vector 27: Reserved */
+UNUSED(TIVA_RESERVED_28)                 /* Vector 28: Reserved */
+UNUSED(TIVA_RESERVED_29)                 /* Vector 29: Reserved */
+
+VECTOR(tiva_adc0, TIVA_IRQ_ADC0)         /* Vector 30: ADC Sequence 0 */
+VECTOR(tiva_adc1, TIVA_IRQ_ADC1)         /* Vector 31: ADC Sequence 1 */
+VECTOR(tiva_adc2, TIVA_IRQ_ADC2)         /* Vector 32: ADC Sequence 2 */
+VECTOR(tiva_adc3, TIVA_IRQ_ADC3)         /* Vector 33: ADC Sequence 3 */
+VECTOR(tiva_wdog, TIVA_IRQ_WDOG)         /* Vector 34: Watchdog Timer */
+VECTOR(tiva_tmr0a, TIVA_IRQ_TIMER0A)     /* Vector 35: Timer 0 A */
+VECTOR(tiva_tmr0b, TIVA_IRQ_TIMER0B)     /* Vector 36: Timer 0 B */
+VECTOR(tiva_tmr1a, TIVA_IRQ_TIMER1A)     /* Vector 37: Timer 1 A */
+VECTOR(tiva_tmr1b, TIVA_IRQ_TIMER1B)     /* Vector 38: Timer 1 B */
+VECTOR(tiva_tmr2a, TIVA_IRQ_TIMER2A)     /* Vector 39: Timer 2 A */
+
+VECTOR(tiva_tmr2b, TIVA_IRQ_TIMER2B)     /* Vector 40: Timer 3 B */
+VECTOR(tiva_cmp0, TIVA_IRQ_COMPARE0)     /* Vector 41: Analog Comparator 0 */
+VECTOR(tiva_cmp1, TIVA_IRQ_COMPARE1)     /* Vector 42: Analog Comparator 1 */
+UNUSED(TIVA_RESERVED_43)                 /* Vector 43: Reserved */
+VECTOR(tiva_syscon, TIVA_IRQ_SYSCON)     /* Vector 44: System Control */
+VECTOR(tiva_flashcon, TIVA_IRQ_FLASHCON) /* Vector 45: FLASH Control */
+VECTOR(tiva_gpiof, TIVA_IRQ_GPIOF)       /* Vector 46: GPIO Port F */
+VECTOR(tiva_gpiog, TIVA_IRQ_GPIOG)       /* Vector 47: GPIO Port G */
+UNUSED(TIVA_RESERVED_48)                 /* Vector 48: Reserved */
+UNUSED(TIVA_RESERVED_49)                 /* Vector 49: Reserved */
+
+UNUSED(TIVA_RESERVED_50)                 /* Vector 50: Reserved */
+UNUSED(TIVA_RESERVED_51)                 /* Vector 51: Reserved */
+UNUSED(TIVA_RESERVED_52)                 /* Vector 52: Reserved */
+UNUSED(TIVA_RESERVED_53)                 /* Vector 53: Reserved */
+UNUSED(TIVA_RESERVED_54)                 /* Vector 54: Reserved */
+UNUSED(TIVA_RESERVED_55)                 /* Vector 55: Reserved */
+UNUSED(TIVA_RESERVED_56)                 /* Vector 56: Reserved */
+UNUSED(TIVA_RESERVED_57)                 /* Vector 57: Reserved */
+VECTOR(tiva_eth, TIVA_IRQ_ETHCON)        /* Vector 58: Ethernet Controller */
+UNUSED(TIVA_RESERVED_59)                 /* Vector 59: Reserved */
+
+UNUSED(TIVA_RESERVED_60)                 /* Vector 60: Reserved */
+UNUSED(TIVA_RESERVED_61)                 /* Vector 61: Reserved */
+UNUSED(TIVA_RESERVED_62)                 /* Vector 62: Reserved */
+UNUSED(TIVA_RESERVED_63)                 /* Vector 63: Reserved */
+UNUSED(TIVA_RESERVED_64)                 /* Vector 64: Reserved */
+UNUSED(TIVA_RESERVED_65)                 /* Vector 65: Reserved */
+UNUSED(TIVA_RESERVED_66)                 /* Vector 66: Reserved */
+UNUSED(TIVA_RESERVED_67)                 /* Vector 67: Reserved */
+UNUSED(TIVA_RESERVED_68)                 /* Vector 68: Reserved */
+UNUSED(TIVA_RESERVED_69)                 /* Vector 69: Reserved */
+
+UNUSED(TIVA_RESERVED_70)                 /* Vector 70: Reserved */
 #endif
 
 #elif defined(CONFIG_ARCH_CHIP_LM3S6965)
@@ -216,67 +216,67 @@ UNUSED(LM_RESERVED_70)               /* Vector 70: Reserved */
 
 #else
 
-VECTOR(lm_gpioa, LM_IRQ_GPIOA)       /* Vector 16: GPIO Port A */
-VECTOR(lm_gpiob, LM_IRQ_GPIOB)       /* Vector 17: GPIO Port B */
-VECTOR(lm_gpioc, LM_IRQ_GPIOC)       /* Vector 18: GPIO Port C */
-VECTOR(lm_gpiod, LM_IRQ_GPIOD)       /* Vector 19: GPIO Port D */
-
-VECTOR(lm_gpioe, LM_IRQ_GPIOE)       /* Vector 20: GPIO Port E */
-VECTOR(lm_uart0, LM_IRQ_UART0)       /* Vector 21: UART 0 */
-VECTOR(lm_uart1, LM_IRQ_UART1)       /* Vector 22: UART 1 */
-VECTOR(lm_ssi0, LM_IRQ_SSI0)         /* Vector 23: SSI 0 */
-VECTOR(lm_i2c0, LM_IRQ_I2C0)         /* Vector 24: I2C 0 */
-VECTOR(lm_pwmfault, LM_IRQ_PWMFAULT) /* Vector 25: PWM Fault */
-VECTOR(lm_pwm0, LM_IRQ_PWM0)         /* Vector 26: PWM Generator 0 */
-VECTOR(lm_pwm1, LM_IRQ_PWM1)         /* Vector 27: PWM Generator 1 */
-VECTOR(lm_pwm2, LM_IRQ_PWM2)         /* Vector 28: PWM Generator 2 */
-VECTOR(lm_qei0, LM_IRQ_QEI0)         /* Vector 29: QEI 0 */
-
-VECTOR(lm_adc0, LM_IRQ_ADC0)         /* Vector 30: ADC Sequence 0 */
-VECTOR(lm_adc1, LM_IRQ_ADC1)         /* Vector 31: ADC Sequence 1 */
-VECTOR(lm_adc2, LM_IRQ_ADC2)         /* Vector 32: ADC Sequence 2 */
-VECTOR(lm_adc3, LM_IRQ_ADC3)         /* Vector 33: ADC Sequence 3 */
-VECTOR(lm_wdog, LM_IRQ_WDOG)         /* Vector 34: Watchdog Timer */
-VECTOR(lm_tmr0a, LM_IRQ_TIMER0A)     /* Vector 35: Timer 0 A */
-VECTOR(lm_tmr0b, LM_IRQ_TIMER0B)     /* Vector 36: Timer 0 B */
-VECTOR(lm_tmr1a, LM_IRQ_TIMER1A)     /* Vector 37: Timer 1 A */
-VECTOR(lm_tmr1b, LM_IRQ_TIMER1B)     /* Vector 38: Timer 1 B */
-VECTOR(lm_tmr2a, LM_IRQ_TIMER2A)     /* Vector 39: Timer 2 A */
-
-VECTOR(lm_tmr2b, LM_IRQ_TIMER2B)     /* Vector 40: Timer 3 B */
-VECTOR(lm_cmp0, LM_IRQ_COMPARE0)     /* Vector 41: Analog Comparator 0 */
-VECTOR(lm_cmp1, LM_IRQ_COMPARE1)     /* Vector 42: Analog Comparator 1 */
-UNUSED(LM_RESERVED_43)               /* Vector 43: Reserved */
-VECTOR(lm_syscon, LM_IRQ_SYSCON)     /* Vector 44: System Control */
-VECTOR(lm_flashcon, LM_IRQ_FLASHCON) /* Vector 45: FLASH Control */
-VECTOR(lm_gpiof, LM_IRQ_GPIOF)       /* Vector 46: GPIO Port F */
-VECTOR(lm_gpiog, LM_IRQ_GPIOG)       /* Vector 47: GPIO Port G */
-UNUSED(LM_RESERVED_48)               /* Vector 48: Reserved */
-VECTOR(lm_uart2, LM_IRQ_UART1)       /* Vector 49: UART 1 */
-
-UNUSED(LM_RESERVED_50)               /* Vector 50: Reserved */
-VECTOR(lm_tmr3a, LM_IRQ_TIMER3A)     /* Vector 51: Timer 3 A */
-VECTOR(lm_tmr3b, LM_IRQ_TIMER3B)     /* Vector 52: Timer 3 B */
-VECTOR(lm_i2c1, LM_IRQ_I2C1)         /* Vector 53: I2C 1 */
-VECTOR(lm_qei1, LM_IRQ_QEI1)         /* Vector 54: QEI 1 */
-UNUSED(LM_RESERVED_55)               /* Vector 55: Reserved */
-UNUSED(LM_RESERVED_56)               /* Vector 56: Reserved */
-UNUSED(LM_RESERVED_57)               /* Vector 57: Reserved */
-VECTOR(lm_eth, LM_IRQ_ETHCON)        /* Vector 58: Ethernet Controller */
-VECTOR(lm_hib, LM_IRQ_HIBERNATE)     /* Vector 59: Hibernation Module */
-
-UNUSED(LM_RESERVED_60)               /* Vector 60: Reserved */
-UNUSED(LM_RESERVED_61)               /* Vector 61: Reserved */
-UNUSED(LM_RESERVED_62)               /* Vector 62: Reserved */
-UNUSED(LM_RESERVED_63)               /* Vector 63: Reserved */
-UNUSED(LM_RESERVED_64)               /* Vector 64: Reserved */
-UNUSED(LM_RESERVED_65)               /* Vector 65: Reserved */
-UNUSED(LM_RESERVED_66)               /* Vector 66: Reserved */
-UNUSED(LM_RESERVED_67)               /* Vector 67: Reserved */
-UNUSED(LM_RESERVED_68)               /* Vector 68: Reserved */
-UNUSED(LM_RESERVED_69)               /* Vector 69: Reserved */
-
-UNUSED(LM_RESERVED_70)               /* Vector 70: Reserved */
+VECTOR(tiva_gpioa, TIVA_IRQ_GPIOA)       /* Vector 16: GPIO Port A */
+VECTOR(tiva_gpiob, TIVA_IRQ_GPIOB)       /* Vector 17: GPIO Port B */
+VECTOR(tiva_gpioc, TIVA_IRQ_GPIOC)       /* Vector 18: GPIO Port C */
+VECTOR(tiva_gpiod, TIVA_IRQ_GPIOD)       /* Vector 19: GPIO Port D */
+
+VECTOR(tiva_gpioe, TIVA_IRQ_GPIOE)       /* Vector 20: GPIO Port E */
+VECTOR(tiva_uart0, TIVA_IRQ_UART0)       /* Vector 21: UART 0 */
+VECTOR(tiva_uart1, TIVA_IRQ_UART1)       /* Vector 22: UART 1 */
+VECTOR(tiva_ssi0, TIVA_IRQ_SSI0)         /* Vector 23: SSI 0 */
+VECTOR(tiva_i2c0, TIVA_IRQ_I2C0)         /* Vector 24: I2C 0 */
+VECTOR(tiva_pwmfault, TIVA_IRQ_PWMFAULT) /* Vector 25: PWM Fault */
+VECTOR(tiva_pwm0, TIVA_IRQ_PWM0)         /* Vector 26: PWM Generator 0 */
+VECTOR(tiva_pwm1, TIVA_IRQ_PWM1)         /* Vector 27: PWM Generator 1 */
+VECTOR(tiva_pwm2, TIVA_IRQ_PWM2)         /* Vector 28: PWM Generator 2 */
+VECTOR(tiva_qei0, TIVA_IRQ_QEI0)         /* Vector 29: QEI 0 */
+
+VECTOR(tiva_adc0, TIVA_IRQ_ADC0)         /* Vector 30: ADC Sequence 0 */
+VECTOR(tiva_adc1, TIVA_IRQ_ADC1)         /* Vector 31: ADC Sequence 1 */
+VECTOR(tiva_adc2, TIVA_IRQ_ADC2)         /* Vector 32: ADC Sequence 2 */
+VECTOR(tiva_adc3, TIVA_IRQ_ADC3)         /* Vector 33: ADC Sequence 3 */
+VECTOR(tiva_wdog, TIVA_IRQ_WDOG)         /* Vector 34: Watchdog Timer */
+VECTOR(tiva_tmr0a, TIVA_IRQ_TIMER0A)     /* Vector 35: Timer 0 A */
+VECTOR(tiva_tmr0b, TIVA_IRQ_TIMER0B)     /* Vector 36: Timer 0 B */
+VECTOR(tiva_tmr1a, TIVA_IRQ_TIMER1A)     /* Vector 37: Timer 1 A */
+VECTOR(tiva_tmr1b, TIVA_IRQ_TIMER1B)     /* Vector 38: Timer 1 B */
+VECTOR(tiva_tmr2a, TIVA_IRQ_TIMER2A)     /* Vector 39: Timer 2 A */
+
+VECTOR(tiva_tmr2b, TIVA_IRQ_TIMER2B)     /* Vector 40: Timer 3 B */
+VECTOR(tiva_cmp0, TIVA_IRQ_COMPARE0)     /* Vector 41: Analog Comparator 0 */
+VECTOR(tiva_cmp1, TIVA_IRQ_COMPARE1)     /* Vector 42: Analog Comparator 1 */
+UNUSED(TIVA_RESERVED_43)                 /* Vector 43: Reserved */
+VECTOR(tiva_syscon, TIVA_IRQ_SYSCON)     /* Vector 44: System Control */
+VECTOR(tiva_flashcon, TIVA_IRQ_FLASHCON) /* Vector 45: FLASH Control */
+VECTOR(tiva_gpiof, TIVA_IRQ_GPIOF)       /* Vector 46: GPIO Port F */
+VECTOR(tiva_gpiog, TIVA_IRQ_GPIOG)       /* Vector 47: GPIO Port G */
+UNUSED(TIVA_RESERVED_48)                 /* Vector 48: Reserved */
+VECTOR(tiva_uart2, TIVA_IRQ_UART1)       /* Vector 49: UART 1 */
+
+UNUSED(TIVA_RESERVED_50)                 /* Vector 50: Reserved */
+VECTOR(tiva_tmr3a, TIVA_IRQ_TIMER3A)     /* Vector 51: Timer 3 A */
+VECTOR(tiva_tmr3b, TIVA_IRQ_TIMER3B)     /* Vector 52: Timer 3 B */
+VECTOR(tiva_i2c1, TIVA_IRQ_I2C1)         /* Vector 53: I2C 1 */
+VECTOR(tiva_qei1, TIVA_IRQ_QEI1)         /* Vector 54: QEI 1 */
+UNUSED(TIVA_RESERVED_55)                 /* Vector 55: Reserved */
+UNUSED(TIVA_RESERVED_56)                 /* Vector 56: Reserved */
+UNUSED(TIVA_RESERVED_57)                 /* Vector 57: Reserved */
+VECTOR(tiva_eth, TIVA_IRQ_ETHCON)        /* Vector 58: Ethernet Controller */
+VECTOR(tiva_hib, TIVA_IRQ_HIBERNATE)     /* Vector 59: Hibernation Module */
+
+UNUSED(TIVA_RESERVED_60)                 /* Vector 60: Reserved */
+UNUSED(TIVA_RESERVED_61)                 /* Vector 61: Reserved */
+UNUSED(TIVA_RESERVED_62)                 /* Vector 62: Reserved */
+UNUSED(TIVA_RESERVED_63)                 /* Vector 63: Reserved */
+UNUSED(TIVA_RESERVED_64)                 /* Vector 64: Reserved */
+UNUSED(TIVA_RESERVED_65)                 /* Vector 65: Reserved */
+UNUSED(TIVA_RESERVED_66)                 /* Vector 66: Reserved */
+UNUSED(TIVA_RESERVED_67)                 /* Vector 67: Reserved */
+UNUSED(TIVA_RESERVED_68)                 /* Vector 68: Reserved */
+UNUSED(TIVA_RESERVED_69)                 /* Vector 69: Reserved */
+
+UNUSED(TIVA_RESERVED_70)                 /* Vector 70: Reserved */
 #endif
 
 #elif defined(CONFIG_ARCH_CHIP_LM3S8962)
@@ -293,67 +293,67 @@ UNUSED(LM_RESERVED_70)               /* Vector 70: Reserved */
 
 #else
 
-VECTOR(lm_gpioa, LM_IRQ_GPIOA)       /* Vector 16: GPIO Port A */
-VECTOR(lm_gpiob, LM_IRQ_GPIOB)       /* Vector 17: GPIO Port B */
-VECTOR(lm_gpioc, LM_IRQ_GPIOC)       /* Vector 18: GPIO Port C */
-VECTOR(lm_gpiod, LM_IRQ_GPIOD)       /* Vector 19: GPIO Port D */
-
-VECTOR(lm_gpioe, LM_IRQ_GPIOE)       /* Vector 20: GPIO Port E */
-VECTOR(lm_uart0, LM_IRQ_UART0)       /* Vector 21: UART 0 */
-VECTOR(lm_uart1, LM_IRQ_UART1)       /* Vector 22: UART 1 */
-VECTOR(lm_ssi0, LM_IRQ_SSI0)         /* Vector 23: SSI 0 */
-VECTOR(lm_i2c0, LM_IRQ_I2C0)         /* Vector 24: I2C 0 */
-VECTOR(lm_pwmfault, LM_IRQ_PWMFAULT) /* Vector 25: PWM Fault */
-VECTOR(lm_pwm0, LM_IRQ_PWM0)         /* Vector 26: PWM Generator 0 */
-VECTOR(lm_pwm1, LM_IRQ_PWM1)         /* Vector 27: PWM Generator 1 */
-VECTOR(lm_pwm2, LM_IRQ_PWM2)         /* Vector 28: PWM Generator 2 */
-VECTOR(lm_qei0, LM_IRQ_QEI0)         /* Vector 29: QEI 0 */
-
-VECTOR(lm_adc0, LM_IRQ_ADC0)         /* Vector 30: ADC Sequence 0 */
-VECTOR(lm_adc1, LM_IRQ_ADC1)         /* Vector 31: ADC Sequence 1 */
-VECTOR(lm_adc2, LM_IRQ_ADC2)         /* Vector 32: ADC Sequence 2 */
-VECTOR(lm_adc3, LM_IRQ_ADC3)         /* Vector 33: ADC Sequence 3 */
-VECTOR(lm_wdog, LM_IRQ_WDOG)         /* Vector 34: Watchdog Timer */
-VECTOR(lm_tmr0a, LM_IRQ_TIMER0A)     /* Vector 35: Timer 0 A */
-VECTOR(lm_tmr0b, LM_IRQ_TIMER0B)     /* Vector 36: Timer 0 B */
-VECTOR(lm_tmr1a, LM_IRQ_TIMER1A)     /* Vector 37: Timer 1 A */
-VECTOR(lm_tmr1b, LM_IRQ_TIMER1B)     /* Vector 38: Timer 1 B */
-VECTOR(lm_tmr2a, LM_IRQ_TIMER2A)     /* Vector 39: Timer 2 A */
-
-VECTOR(lm_tmr2b, LM_IRQ_TIMER2B)     /* Vector 40: Timer 3 B */
-VECTOR(lm_cmp0, LM_IRQ_COMPARE0)     /* Vector 41: Analog Comparator 0 */
-UNUSED(LM_RESERVED_42)               /* Vector 42: Reserved */
-UNUSED(LM_RESERVED_43)               /* Vector 43: Reserved */
-VECTOR(lm_syscon, LM_IRQ_SYSCON)     /* Vector 44: System Control */
-VECTOR(lm_flashcon, LM_IRQ_FLASHCON) /* Vector 45: FLASH Control */
-VECTOR(lm_gpiof, LM_IRQ_GPIOF)       /* Vector 46: GPIO Port F */
-VECTOR(lm_gpiog, LM_IRQ_GPIOG)       /* Vector 47: GPIO Port G */
-UNUSED(LM_RESERVED_48)               /* Vector 48: Reserved */
-UNUSED(LM_RESERVED_49)               /* Vector 49: Reserved */
-
-UNUSED(LM_RESERVED_50)               /* Vector 50: Reserved */
-VECTOR(lm_tmr3a, LM_IRQ_TIMER3A)     /* Vector 51: Timer 3 A */
-VECTOR(lm_tmr3b, LM_IRQ_TIMER3B)     /* Vector 52: Timer 3 B */
-VECTOR(lm_i2c1, LM_IRQ_I2C1)         /* Vector 53: I2C 1 */
-VECTOR(lm_qei1, LM_IRQ_QEI1)         /* Vector 54: QEI 1 */
-VECTOR(lm_can0, LM_IRQ_CAN0)         /* Vector 55: CAN 0 */
-UNUSED(LM_RESERVED_56)               /* Vector 56: Reserved */
-UNUSED(LM_RESERVED_57)               /* Vector 57: Reserved */
-VECTOR(lm_eth, LM_IRQ_ETHCON)        /* Vector 58: Ethernet Controller */
-VECTOR(lm_hib, LM_IRQ_HIBERNATE)     /* Vector 59: Hibernation Module */
-
-UNUSED(LM_RESERVED_60)               /* Vector 60: Reserved */
-UNUSED(LM_RESERVED_61)               /* Vector 61: Reserved */
-UNUSED(LM_RESERVED_62)               /* Vector 62: Reserved */
-UNUSED(LM_RESERVED_63)               /* Vector 63: Reserved */
-UNUSED(LM_RESERVED_64)               /* Vector 64: Reserved */
-UNUSED(LM_RESERVED_65)               /* Vector 65: Reserved */
-UNUSED(LM_RESERVED_66)               /* Vector 66: Reserved */
-UNUSED(LM_RESERVED_67)               /* Vector 67: Reserved */
-UNUSED(LM_RESERVED_68)               /* Vector 68: Reserved */
-UNUSED(LM_RESERVED_69)               /* Vector 69: Reserved */
-
-UNUSED(LM_RESERVED_70)               /* Vector 70: Reserved */
+VECTOR(tiva_gpioa, TIVA_IRQ_GPIOA)       /* Vector 16: GPIO Port A */
+VECTOR(tiva_gpiob, TIVA_IRQ_GPIOB)       /* Vector 17: GPIO Port B */
+VECTOR(tiva_gpioc, TIVA_IRQ_GPIOC)       /* Vector 18: GPIO Port C */
+VECTOR(tiva_gpiod, TIVA_IRQ_GPIOD)       /* Vector 19: GPIO Port D */
+
+VECTOR(tiva_gpioe, TIVA_IRQ_GPIOE)       /* Vector 20: GPIO Port E */
+VECTOR(tiva_uart0, TIVA_IRQ_UART0)       /* Vector 21: UART 0 */
+VECTOR(tiva_uart1, TIVA_IRQ_UART1)       /* Vector 22: UART 1 */
+VECTOR(tiva_ssi0, TIVA_IRQ_SSI0)         /* Vector 23: SSI 0 */
+VECTOR(tiva_i2c0, TIVA_IRQ_I2C0)         /* Vector 24: I2C 0 */
+VECTOR(tiva_pwmfault, TIVA_IRQ_PWMFAULT) /* Vector 25: PWM Fault */
+VECTOR(tiva_pwm0, TIVA_IRQ_PWM0)         /* Vector 26: PWM Generator 0 */
+VECTOR(tiva_pwm1, TIVA_IRQ_PWM1)         /* Vector 27: PWM Generator 1 */
+VECTOR(tiva_pwm2, TIVA_IRQ_PWM2)         /* Vector 28: PWM Generator 2 */
+VECTOR(tiva_qei0, TIVA_IRQ_QEI0)         /* Vector 29: QEI 0 */
+
+VECTOR(tiva_adc0, TIVA_IRQ_ADC0)         /* Vector 30: ADC Sequence 0 */
+VECTOR(tiva_adc1, TIVA_IRQ_ADC1)         /* Vector 31: ADC Sequence 1 */
+VECTOR(tiva_adc2, TIVA_IRQ_ADC2)         /* Vector 32: ADC Sequence 2 */
+VECTOR(tiva_adc3, TIVA_IRQ_ADC3)         /* Vector 33: ADC Sequence 3 */
+VECTOR(tiva_wdog, TIVA_IRQ_WDOG)         /* Vector 34: Watchdog Timer */
+VECTOR(tiva_tmr0a, TIVA_IRQ_TIMER0A)     /* Vector 35: Timer 0 A */
+VECTOR(tiva_tmr0b, TIVA_IRQ_TIMER0B)     /* Vector 36: Timer 0 B */
+VECTOR(tiva_tmr1a, TIVA_IRQ_TIMER1A)     /* Vector 37: Timer 1 A */
+VECTOR(tiva_tmr1b, TIVA_IRQ_TIMER1B)     /* Vector 38: Timer 1 B */
+VECTOR(tiva_tmr2a, TIVA_IRQ_TIMER2A)     /* Vector 39: Timer 2 A */
+
+VECTOR(tiva_tmr2b, TIVA_IRQ_TIMER2B)     /* Vector 40: Timer 3 B */
+VECTOR(tiva_cmp0, TIVA_IRQ_COMPARE0)     /* Vector 41: Analog Comparator 0 */
+UNUSED(TIVA_RESERVED_42)                 /* Vector 42: Reserved */
+UNUSED(TIVA_RESERVED_43)                 /* Vector 43: Reserved */
+VECTOR(tiva_syscon, TIVA_IRQ_SYSCON)     /* Vector 44: System Control */
+VECTOR(tiva_flashcon, TIVA_IRQ_FLASHCON) /* Vector 45: FLASH Control */
+VECTOR(tiva_gpiof, TIVA_IRQ_GPIOF)       /* Vector 46: GPIO Port F */
+VECTOR(tiva_gpiog, TIVA_IRQ_GPIOG)       /* Vector 47: GPIO Port G */
+UNUSED(TIVA_RESERVED_48)                 /* Vector 48: Reserved */
+UNUSED(TIVA_RESERVED_49)                 /* Vector 49: Reserved */
+
+UNUSED(TIVA_RESERVED_50)                 /* Vector 50: Reserved */
+VECTOR(tiva_tmr3a, TIVA_IRQ_TIMER3A)     /* Vector 51: Timer 3 A */
+VECTOR(tiva_tmr3b, TIVA_IRQ_TIMER3B)     /* Vector 52: Timer 3 B */
+VECTOR(tiva_i2c1, TIVA_IRQ_I2C1)         /* Vector 53: I2C 1 */
+VECTOR(tiva_qei1, TIVA_IRQ_QEI1)         /* Vector 54: QEI 1 */
+VECTOR(tiva_can0, TIVA_IRQ_CAN0)         /* Vector 55: CAN 0 */
+UNUSED(TIVA_RESERVED_56)                 /* Vector 56: Reserved */
+UNUSED(TIVA_RESERVED_57)                 /* Vector 57: Reserved */
+VECTOR(tiva_eth, TIVA_IRQ_ETHCON)        /* Vector 58: Ethernet Controller */
+VECTOR(tiva_hib, TIVA_IRQ_HIBERNATE)     /* Vector 59: Hibernation Module */
+
+UNUSED(TIVA_RESERVED_60)               /* Vector 60: Reserved */
+UNUSED(TIVA_RESERVED_61)               /* Vector 61: Reserved */
+UNUSED(TIVA_RESERVED_62)               /* Vector 62: Reserved */
+UNUSED(TIVA_RESERVED_63)               /* Vector 63: Reserved */
+UNUSED(TIVA_RESERVED_64)               /* Vector 64: Reserved */
+UNUSED(TIVA_RESERVED_65)               /* Vector 65: Reserved */
+UNUSED(TIVA_RESERVED_66)               /* Vector 66: Reserved */
+UNUSED(TIVA_RESERVED_67)               /* Vector 67: Reserved */
+UNUSED(TIVA_RESERVED_68)               /* Vector 68: Reserved */
+UNUSED(TIVA_RESERVED_69)               /* Vector 69: Reserved */
+
+UNUSED(TIVA_RESERVED_70)               /* Vector 70: Reserved */
 #endif
 
 #elif defined(CONFIG_ARCH_CHIP_LM3S9B96)
@@ -370,68 +370,68 @@ UNUSED(LM_RESERVED_70)               /* Vector 70: Reserved */
 
 #else
 
-VECTOR(lm_gpioa, LM_IRQ_GPIOA)       /* Vector 16: GPIO Port A */
-VECTOR(lm_gpiob, LM_IRQ_GPIOB)       /* Vector 17: GPIO Port B */
-VECTOR(lm_gpioc, LM_IRQ_GPIOC)       /* Vector 18: GPIO Port C */
-VECTOR(lm_gpiod, LM_IRQ_GPIOD)       /* Vector 19: GPIO Port D */
-VECTOR(lm_gpioe, LM_IRQ_GPIOE)       /* Vector 20: GPIO Port E */
-
-VECTOR(lm_uart0, LM_IRQ_UART0)       /* Vector 21: UART 0 */
-VECTOR(lm_uart1, LM_IRQ_UART1)       /* Vector 22: UART 1 */
-VECTOR(lm_ssi0, LM_IRQ_SSI0)         /* Vector 23: SSI 0 */
-VECTOR(lm_i2c0, LM_IRQ_I2C0)         /* Vector 24: I2C 0 */
-VECTOR(lm_pwmfault, LM_IRQ_PWMFAULT) /* Vector 25: PWM Fault */
-VECTOR(lm_pwm0, LM_IRQ_PWM0)         /* Vector 26: PWM Generator 0 */
-VECTOR(lm_pwm1, LM_IRQ_PWM1)         /* Vector 27: PWM Generator 1 */
-VECTOR(lm_pwm2, LM_IRQ_PWM2)         /* Vector 28: PWM Generator 2 */
-VECTOR(lm_qei0, LM_IRQ_QEI0)         /* Vector 29: QEI 0 */
-
-VECTOR(lm_adc0, LM_IRQ_ADC0)         /* Vector 30: ADC Sequence 0 */
-VECTOR(lm_adc1, LM_IRQ_ADC1)         /* Vector 31: ADC Sequence 1 */
-VECTOR(lm_adc2, LM_IRQ_ADC2)         /* Vector 32: ADC Sequence 2 */
-VECTOR(lm_adc3, LM_IRQ_ADC3)         /* Vector 33: ADC Sequence 3 */
-VECTOR(lm_wdog, LM_IRQ_WDOG)         /* Vector 34: Watchdog Timer */
-VECTOR(lm_tmr0a, LM_IRQ_TIMER0A)     /* Vector 35: Timer 0 A */
-VECTOR(lm_tmr0b, LM_IRQ_TIMER0B)     /* Vector 36: Timer 0 B */
-VECTOR(lm_tmr1a, LM_IRQ_TIMER1A)     /* Vector 37: Timer 1 A */
-VECTOR(lm_tmr1b, LM_IRQ_TIMER1B)     /* Vector 38: Timer 1 B */
-VECTOR(lm_tmr2a, LM_IRQ_TIMER2A)     /* Vector 39: Timer 2 A */
-
-VECTOR(lm_tmr2b, LM_IRQ_TIMER2B)     /* Vector 40: Timer 3 B */
-VECTOR(lm_cmp0, LM_IRQ_COMPARE0)     /* Vector 41: Analog Comparator 0 */
-VECTOR(lm_cmp1, LM_IRQ_COMPARE1)     /* Vector 42: Analog Comparator 1 */
-VECTOR(lm_cmp2, LM_IRQ_COMPARE2)     /* Vector 43: Analog Comparator 2 */
-VECTOR(lm_syscon, LM_IRQ_SYSCON)     /* Vector 44: System Control */
-VECTOR(lm_flashcon, LM_IRQ_FLASHCON) /* Vector 45: FLASH Control */
-VECTOR(lm_gpiof, LM_IRQ_GPIOF)       /* Vector 46: GPIO Port F */
-VECTOR(lm_gpiog, LM_IRQ_GPIOG)       /* Vector 47: GPIO Port G */
-VECTOR(lm_gpioh, LM_IRQ_GPIOH)       /* Vector 48: GPIO Port H */
-VECTOR(lm_uart2, LM_IRQ_UART2)       /* Vector 49: UART 2 */
-
-VECTOR(lm_ssi1, LM_IRQ_SSI1)         /* Vector 50: GPIO Port H */
-VECTOR(lm_tmr3a, LM_IRQ_TIMER3A)     /* Vector 51: Timer 3 A */
-VECTOR(lm_tmr3b, LM_IRQ_TIMER3B)     /* Vector 52: Timer 3 B */
-VECTOR(lm_i2c1, LM_IRQ_I2C1)         /* Vector 53: I2C 1 */
-VECTOR(lm_qei1, LM_IRQ_QEI1)         /* Vector 54: QEI 1 */
-VECTOR(lm_can0, LM_IRQ_CAN0)         /* Vector 55: CAN 0 */
-VECTOR(lm_can1, LM_IRQ_CAN1)         /* Vector 56: CAN 1 */
-UNUSED(LM_RESERVED_57)               /* Vector 57: Reserved */
-VECTOR(lm_eth, LM_IRQ_ETHCON)        /* Vector 58: Ethernet Controller */
-UNUSED(LM_RESERVED_59)               /* Vector 59: Reserved */
-
-VECTOR(lm_usb, LM_IRQ_USB)           /* Vector 60: USB */
-VECTOR(lm_pwm3, LM_IRQ_PWM3)         /* Vector 61: PWM 3  */
-VECTOR(lm_udmasoft, LM_IRQ_UDMASOFT) /* Vector 62: uDMA Software  */
-VECTOR(lm_udmaerror, LM_IRQ_UDMAERROR) /* Vector 63: uDMA Error */
-VECTOR(lm_adc1_0, LM_IRQ_ADC1_0)     /* Vector 64: ADC1 Sequence 0 */
-VECTOR(lm_adc1_1, LM_IRQ_ADC1_1)     /* Vector 65: ADC1 Sequence 1 */
-VECTOR(lm_adc1_2, LM_IRQ_ADC1_2)     /* Vector 66: ADC1 Sequence 2 */
-VECTOR(lm_adc1_3, LM_IRQ_ADC1_3)     /* Vector 67: ADC1 Sequence 3 */
-VECTOR(lm_i2s0, LM_IRQ_I2S0)         /* Vector 68: I2S 0 */
-VECTOR(lm_epi, LM_IRQ_EPI)           /* Vector 69: EPI  */
-
-VECTOR(lm_gpioj, LM_IRQ_GPIOJ)       /* Vector 70: GPIO Port J */
-UNUSED(LM_RESERVED_71)               /* Vector 71: Reserved */
+VECTOR(tiva_gpioa, TIVA_IRQ_GPIOA)       /* Vector 16: GPIO Port A */
+VECTOR(tiva_gpiob, TIVA_IRQ_GPIOB)       /* Vector 17: GPIO Port B */
+VECTOR(tiva_gpioc, TIVA_IRQ_GPIOC)       /* Vector 18: GPIO Port C */
+VECTOR(tiva_gpiod, TIVA_IRQ_GPIOD)       /* Vector 19: GPIO Port D */
+VECTOR(tiva_gpioe, TIVA_IRQ_GPIOE)       /* Vector 20: GPIO Port E */
+
+VECTOR(tiva_uart0, TIVA_IRQ_UART0)       /* Vector 21: UART 0 */
+VECTOR(tiva_uart1, TIVA_IRQ_UART1)       /* Vector 22: UART 1 */
+VECTOR(tiva_ssi0, TIVA_IRQ_SSI0)         /* Vector 23: SSI 0 */
+VECTOR(tiva_i2c0, TIVA_IRQ_I2C0)         /* Vector 24: I2C 0 */
+VECTOR(tiva_pwmfault, TIVA_IRQ_PWMFAULT) /* Vector 25: PWM Fault */
+VECTOR(tiva_pwm0, TIVA_IRQ_PWM0)         /* Vector 26: PWM Generator 0 */
+VECTOR(tiva_pwm1, TIVA_IRQ_PWM1)         /* Vector 27: PWM Generator 1 */
+VECTOR(tiva_pwm2, TIVA_IRQ_PWM2)         /* Vector 28: PWM Generator 2 */
+VECTOR(tiva_qei0, TIVA_IRQ_QEI0)         /* Vector 29: QEI 0 */
+
+VECTOR(tiva_adc0, TIVA_IRQ_ADC0)         /* Vector 30: ADC Sequence 0 */
+VECTOR(tiva_adc1, TIVA_IRQ_ADC1)         /* Vector 31: ADC Sequence 1 */
+VECTOR(tiva_adc2, TIVA_IRQ_ADC2)         /* Vector 32: ADC Sequence 2 */
+VECTOR(tiva_adc3, TIVA_IRQ_ADC3)         /* Vector 33: ADC Sequence 3 */
+VECTOR(tiva_wdog, TIVA_IRQ_WDOG)         /* Vector 34: Watchdog Timer */
+VECTOR(tiva_tmr0a, TIVA_IRQ_TIMER0A)     /* Vector 35: Timer 0 A */
+VECTOR(tiva_tmr0b, TIVA_IRQ_TIMER0B)     /* Vector 36: Timer 0 B */
+VECTOR(tiva_tmr1a, TIVA_IRQ_TIMER1A)     /* Vector 37: Timer 1 A */
+VECTOR(tiva_tmr1b, TIVA_IRQ_TIMER1B)     /* Vector 38: Timer 1 B */
+VECTOR(tiva_tmr2a, TIVA_IRQ_TIMER2A)     /* Vector 39: Timer 2 A */
+
+VECTOR(tiva_tmr2b, TIVA_IRQ_TIMER2B)     /* Vector 40: Timer 3 B */
+VECTOR(tiva_cmp0, TIVA_IRQ_COMPARE0)     /* Vector 41: Analog Comparator 0 */
+VECTOR(tiva_cmp1, TIVA_IRQ_COMPARE1)     /* Vector 42: Analog Comparator 1 */
+VECTOR(tiva_cmp2, TIVA_IRQ_COMPARE2)     /* Vector 43: Analog Comparator 2 */
+VECTOR(tiva_syscon, TIVA_IRQ_SYSCON)     /* Vector 44: System Control */
+VECTOR(tiva_flashcon, TIVA_IRQ_FLASHCON) /* Vector 45: FLASH Control */
+VECTOR(tiva_gpiof, TIVA_IRQ_GPIOF)       /* Vector 46: GPIO Port F */
+VECTOR(tiva_gpiog, TIVA_IRQ_GPIOG)       /* Vector 47: GPIO Port G */
+VECTOR(tiva_gpioh, TIVA_IRQ_GPIOH)       /* Vector 48: GPIO Port H */
+VECTOR(tiva_uart2, TIVA_IRQ_UART2)       /* Vector 49: UART 2 */
+
+VECTOR(tiva_ssi1, TIVA_IRQ_SSI1)         /* Vector 50: GPIO Port H */
+VECTOR(tiva_tmr3a, TIVA_IRQ_TIMER3A)     /* Vector 51: Timer 3 A */
+VECTOR(tiva_tmr3b, TIVA_IRQ_TIMER3B)     /* Vector 52: Timer 3 B */
+VECTOR(tiva_i2c1, TIVA_IRQ_I2C1)         /* Vector 53: I2C 1 */
+VECTOR(tiva_qei1, TIVA_IRQ_QEI1)         /* Vector 54: QEI 1 */
+VECTOR(tiva_can0, TIVA_IRQ_CAN0)         /* Vector 55: CAN 0 */
+VECTOR(tiva_can1, TIVA_IRQ_CAN1)         /* Vector 56: CAN 1 */
+UNUSED(TIVA_RESERVED_57)                 /* Vector 57: Reserved */
+VECTOR(tiva_eth, TIVA_IRQ_ETHCON)        /* Vector 58: Ethernet Controller */
+UNUSED(TIVA_RESERVED_59)                 /* Vector 59: Reserved */
+
+VECTOR(tiva_usb, TIVA_IRQ_USB)           /* Vector 60: USB */
+VECTOR(tiva_pwm3, TIVA_IRQ_PWM3)         /* Vector 61: PWM 3  */
+VECTOR(tiva_udmasoft, TIVA_IRQ_UDMASOFT) /* Vector 62: uDMA Software  */
+VECTOR(tiva_udmaerror, TIVA_IRQ_UDMAERROR) /* Vector 63: uDMA Error */
+VECTOR(tiva_adc1_0, TIVA_IRQ_ADC1_0)     /* Vector 64: ADC1 Sequence 0 */
+VECTOR(tiva_adc1_1, TIVA_IRQ_ADC1_1)     /* Vector 65: ADC1 Sequence 1 */
+VECTOR(tiva_adc1_2, TIVA_IRQ_ADC1_2)     /* Vector 66: ADC1 Sequence 2 */
+VECTOR(tiva_adc1_3, TIVA_IRQ_ADC1_3)     /* Vector 67: ADC1 Sequence 3 */
+VECTOR(tiva_i2s0, TIVA_IRQ_I2S0)         /* Vector 68: I2S 0 */
+VECTOR(tiva_epi, TIVA_IRQ_EPI)           /* Vector 69: EPI  */
+
+VECTOR(tiva_gpioj, TIVA_IRQ_GPIOJ)       /* Vector 70: GPIO Port J */
+UNUSED(TIVA_RESERVED_71)                 /* Vector 71: Reserved */
 #endif
 
 #else