From 253de5286d606a265599c48aee1379784d5c8a68 Mon Sep 17 00:00:00 2001
From: Vincent Coubard <vincent.coubard@arm.com>
Date: Mon, 3 Jul 2017 16:35:19 +0100
Subject: [PATCH] MAX32630: Map UART IRQ to serial object.

Before this change none of the IRQ set would be dispatch to the actual serial object.
---
 targets/TARGET_Maxim/TARGET_MAX32630/serial_api.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/targets/TARGET_Maxim/TARGET_MAX32630/serial_api.c b/targets/TARGET_Maxim/TARGET_MAX32630/serial_api.c
index 543dfa7cda..70006d4f0b 100644
--- a/targets/TARGET_Maxim/TARGET_MAX32630/serial_api.c
+++ b/targets/TARGET_Maxim/TARGET_MAX32630/serial_api.c
@@ -200,6 +200,9 @@ void serial_irq_handler(serial_t *obj, uart_irq_handler handler, uint32_t id)
 //******************************************************************************
 void serial_irq_set(serial_t *obj, SerialIrq irq, uint32_t enable)
 {
+    MBED_ASSERT(obj->index < MXC_CFG_UART_INSTANCES);
+    objs[obj->index] = obj;
+
     switch (obj->index) {
         case 0:
             NVIC_SetVector(UART0_IRQn, (uint32_t)uart0_handler);