/* Utility function to get the handler for a specific interrupt.  */
void* CORE_GetNvicRamTableHandler(IRQn_Type irqN)
/* Utility function to get the handler for a specific interrupt.  */
void* CORE_GetNvicRamTableHandler(IRQn_Type irqN)
{
  EFM_ASSERT((irqN >= -16) && (irqN < EXT_IRQ_COUNT));
  return (void*)(((uint32_t*)SCB->VTOR)[irqN+16]);
}