timer.c

Go to the documentation of this file.

// Copyright (C) 2013-2026 Efinix Inc. All rights reserved.
// Full license header bsp/efinix/EfxSapphireSocRV64/include/LICENSE.MD

 
#include "timer/timer.h"
 
/*----------------------------------------------------------------------------*/
/* Function implementations                                                    */
/*----------------------------------------------------------------------------*/

u32 timer_getConfig(timer_instance_t *inst)
{
    return inst->hwreg->TIMER_CONFIG;
}

u32 timer_setConfig(timer_instance_t *inst, u32 value)
{
    inst->hwreg->TIMER_CONFIG = value;
}

u32 timer_getPrescalerValue(timer_instance_t *inst)
{
    return inst->hwreg->PRESCALER;
}

u32 timer_setPrescalerValue(timer_instance_t *inst, u32 value)
{
    inst->hwreg->PRESCALER = value;
}

u32 timer_getLimit(timer_instance_t *inst)
{
    return inst->hwreg->TIMER_LIMIT;
}

u32 timer_setLimit(timer_instance_t *inst, u32 value)
{
    inst->hwreg->TIMER_LIMIT = value;
}

u32 timer_getValue(timer_instance_t *inst)
{
    return inst->hwreg->TIMER_VALUE;
}

void timer_clearValue(timer_instance_t *inst)
{
    inst->hwreg->TIMER_VALUE=0;
}

void timer_applyConfig(timer_instance_t *inst)
{
    slen mask = 0;
    inst->hwreg->TIMER_LIMIT = inst->timer_limit;
    
    if (inst->self_restart == 1) mask |= TIMER_CONFIG_SELF_RESTART;
    if (inst->prescaler_enable == 1) {
        mask |=TIMER_CONFIG_WITH_PRESCALER;
        inst->hwreg->PRESCALER = inst->prescaler_value;
    }
    else
    mask |=TIMER_CONFIG_WITHOUT_PRESCALER;
    inst->hwreg->TIMER_CONFIG=mask;
}