libsel4platsupport/src/plat/tk1/timer.c

/*
 * Copyright 2016, NICTA
 *
 * This software may be distributed and modified according to the terms of
 * the BSD 2-Clause license. Note that NO WARRANTY is provided.
 * See "LICENSE_BSD2.txt" for details.
 *
 * @TAG(NICTA_BSD)
 */

#include <autoconf.h>
#include <assert.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <vka/vka.h>
#include <vspace/vspace.h>
#include <sel4platsupport/timer.h>
#include <sel4platsupport/plat/timer.h>
#include <platsupport/plat/timer.h>
#include <utils/util.h>
#include "../../timer_common.h"

seL4_timer_t *
sel4platsupport_get_default_timer(vka_t *vka, vspace_t *vspace, simple_t *simple, seL4_CPtr notification)
{
    seL4_timer_t *timer = calloc(1, sizeof(seL4_timer_t));
    if (timer == NULL) {
        LOG_ERROR("Failed to allocate object of size %u\n" ,sizeof(seL4_timer_t));
        goto error;
    }

    void *paddr = (void *)DEFAULT_TIMER_PADDR;
    uint32_t irq = DEFAULT_TIMER_INTERRUPT;
    timer_common_data_t *data = timer_common_init(vspace, simple, vka, notification, irq, paddr);
    timer->data = data;

    if (timer->data == NULL) {
        goto error;
    }

    timer->handle_irq = timer_common_handle_irq;
    nv_tmr_config_t config = {
        .vaddr = data->vaddr + TMR1_OFFSET,
        .tmrus_vaddr = data->vaddr + TMRUS_OFFSET,
        .shared_vaddr = data->vaddr + TMR_SHARED_OFFSET,
        .irq = irq
    };
    timer->timer = tk1_get_timer(&config); 
    if (timer->timer == NULL) {
        goto error;
    }
    return timer;

error:
    if (timer != NULL) {
        timer_common_destroy(timer->data, vka, vspace);
        free(timer);
    }
    return NULL;
}