diff --git a/hal/targets/cmsis/TARGET_Freescale/TARGET_K64F/cmsis_nvic.c b/hal/targets/cmsis/TARGET_Freescale/TARGET_K64F/cmsis_nvic.c
index 59b37502b2..f3468ce0d0 100644
--- a/hal/targets/cmsis/TARGET_Freescale/TARGET_K64F/cmsis_nvic.c
+++ b/hal/targets/cmsis/TARGET_Freescale/TARGET_K64F/cmsis_nvic.c
@@ -32,11 +32,11 @@
 
 extern void InstallIRQHandler(IRQn_Type irq, uint32_t irqHandler);
 
-void NVIC_SetVector(IRQn_Type IRQn, uint32_t vector) {
+void __NVIC_SetVector(IRQn_Type IRQn, uint32_t vector) {
     InstallIRQHandler(IRQn, 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];
 }
diff --git a/hal/targets/cmsis/TARGET_Freescale/TARGET_K64F/cmsis_nvic.h b/hal/targets/cmsis/TARGET_Freescale/TARGET_K64F/cmsis_nvic.h
index 206b645437..5260d276ce 100644
--- a/hal/targets/cmsis/TARGET_Freescale/TARGET_K64F/cmsis_nvic.h
+++ b/hal/targets/cmsis/TARGET_Freescale/TARGET_K64F/cmsis_nvic.h
@@ -41,8 +41,8 @@
 extern "C" {
 #endif
 
-void NVIC_SetVector(IRQn_Type IRQn, uint32_t vector);
-uint32_t NVIC_GetVector(IRQn_Type IRQn);
+void __NVIC_SetVector(IRQn_Type IRQn, uint32_t vector);
+uint32_t __NVIC_GetVector(IRQn_Type IRQn);
 
 #ifdef __cplusplus
 }