LCOM1920-T5G03

  return 0;

}

int(timer_test_int)(uint8_t time) {

    int ipc_status, r;

    uint8_t hook = 0;

    no_interrupts = 0;

    int freq = 60; // better way to get the frequency of the timer???

    timer_subscribe_int(&hook);

    int irq_set = BIT(hook);

    while (time) {

        /* Get a request message. */

        if ((r = driver_receive(ANY, &msg, &ipc_status)) != 0) {

        if (is_ipc_notify(ipc_status)) { /* received notification */

            switch (_ENDPOINT_P(msg.m_source)) {

                case HARDWARE: /* hardware interrupt notification */

                    if (msg.m_notify.interrupts & irq_set) { /* subscribed interrupt */

                        timer_int_handler();

                        if (!(no_interrupts % freq)) {

                            timer_print_elapsed_time();

                            time--;

            /* no standart message expected: do nothing */

        }

    }

    timer_unsubscribe_int();

  return 0;

}