LCOM1920-T5G03

#define TIMER_MODE_3ALT 0x7              /**< @brief Alternative notation for mode 3 */

#define TIMER_MODE_RED2 0x03             /**< @brief Reduce 3-bit mode to 2-bit mode */

/* Counting mode: bit 0 */

#define TIMER_BCD 0x01 /**< @brief Count in BCD */

#include <stdbool.h>

#include <stdint.h>

int main(int argc, char *argv[]) {

  // sets the language of LCF messages (can be either EN-US or PT-PT)

int(timer_test_int)(uint8_t time) {

    int ipc_status, r;

    message msg;

    uint8_t irq_set = 1;

    uint8_t hook = 0;

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

    timer_subscribe_int(&hook);

        /* Get a request message. */

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

            printf("driver_receive failed with %d", r);

        } else { /* received standart message, not a notification */

            /* no standart message expected: do nothing */

        }

            timer_print_elapsed_time();

    }

    timer_unsubscribe_int();

#include "i8254.h"

int (timer_set_frequency)(uint8_t timer, uint32_t freq) {

    // Frequencies out this range are not supported (by limitation of hardware)

}

void (timer_int_handler)() {

    no_interrupts++;

}