This one slipped through

stevew817 · stevew817 · commit 220363b0997b · 2016-10-24T18:30:03.000+02:00
diff --git a/targets/TARGET_Silicon_Labs/TARGET_EFM32/common/cmsis_nvic.c b/targets/TARGET_Silicon_Labs/TARGET_EFM32/common/cmsis_nvic.c
@@ -12,7 +12,7 @@ extern uint32_t __start_vector_table__;		  // Dynamic vector positioning in GCC
 #define NVIC_RAM_VECTOR_ADDRESS (0x20000000)  // Vectors positioned at start of RAM
 #define NVIC_FLASH_VECTOR_ADDRESS (0x0)       // Initial vector position in flash
 
-void NVIC_SetVector(IRQn_Type IRQn, uint32_t vector) {
+void __NVIC_SetVector(IRQn_Type IRQn, uint32_t vector) {
     uint32_t *vectors = (uint32_t*)SCB->VTOR;
     uint32_t i;
 
@@ -41,7 +41,7 @@ void NVIC_SetVector(IRQn_Type IRQn, uint32_t vector) {
     vectors[IRQn + 16] = vector;
 }
 
-uint32_t NVIC_GetVector(IRQn_Type IRQn) {
+uint32_t __NVIC_GetVector(IRQn_Type IRQn) {
     uint32_t *vectors = (uint32_t*)SCB->VTOR;
     return vectors[IRQn + 16];
 }

Original file line number	Diff line number	Diff line change
`@@ -12,7 +12,7 @@ extern uint32_t __start_vector_table__; // Dynamic vector positioning in GCC`
`12`	`12`	`#define NVIC_RAM_VECTOR_ADDRESS (0x20000000) // Vectors positioned at start of RAM`
`13`	`13`	`#define NVIC_FLASH_VECTOR_ADDRESS (0x0) // Initial vector position in flash`
`14`	`14`
`15`		`-void NVIC_SetVector(IRQn_Type IRQn, uint32_t vector) {`
	`15`	`+void __NVIC_SetVector(IRQn_Type IRQn, uint32_t vector) {`
`16`	`16`	`uint32_t vectors = (uint32_t)SCB->VTOR;`
`17`	`17`	`uint32_t i;`
`18`	`18`
`@@ -41,7 +41,7 @@ void NVIC_SetVector(IRQn_Type IRQn, uint32_t vector) {`
`41`	`41`	`vectors[IRQn + 16] = vector;`
`42`	`42`	`}`
`43`	`43`
`44`		`-uint32_t NVIC_GetVector(IRQn_Type IRQn) {`
	`44`	`+uint32_t __NVIC_GetVector(IRQn_Type IRQn) {`
`45`	`45`	`uint32_t vectors = (uint32_t)SCB->VTOR;`
`46`	`46`	`return vectors[IRQn + 16];`
`47`	`47`	`}`