/* ISR handler. 
This function is called when data from MBX is received  */
static void mbx_isr(void)
/* ISR handler. 
This function is called when data from MBX is received  */
static void mbx_isr(void)
{
    uint32_t data;
    hpm_stat_t state;
    state = mbx_retrieve_message(HPM_MBX, &data);
    if (state == status_success) {
        ipc_event_handler(data);
    }
}