timer.h

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
 
#ifndef TIMER_H
#define TIMER_H

 
#include "type.h"
#include "io.h"
 
#ifdef __cplusplus
extern "C" {
#endif

 
/* ========================================================================== */
/* SUB-GROUP : REGISTER DEFINITIONS                                          */
/* ========================================================================== */
    #define TIMER_CONFIG_WITH_PRESCALER     0x2         
    #define TIMER_CONFIG_WITHOUT_PRESCALER  0x1         
    #define TIMER_CONFIG_SELF_RESTART       0x10000      // End of TIMER_Macros group
 
/* ========================================================================== */
/* SUB-GROUP : DATA STRUCTS                                                     */
/* ========================================================================== */
    typedef volatile struct 
    {
        u32 PRESCALER;                      
        u32 reserved0[(0x0040U-0x4U)/4U];   
        u32 TIMER_CONFIG;                   
        u32 TIMER_LIMIT;                    
        u32 TIMER_VALUE;                    
    } utimer_hwreg_t;

    typedef struct
    {
        utimer_hwreg_t  *hwreg;             
        u32             prescaler_value;    
        u32             prescaler_enable;   
        u32             self_restart;       
        u32             timer_limit;        
    }utimer_instance_t;
     // End of TIMER_Types group
 
/* ========================================================================== */
/* SUB-GROUP: FUNCTIONS                                                     */
/* ========================================================================== */

    void utimer_applyConfig(utimer_instance_t *inst);
    void utimer_clearValue(utimer_instance_t *inst);

        u32 utimer_getConfig(utimer_instance_t *inst);
        u32 utimer_getLimit(utimer_instance_t *inst);
        u32 utimer_getValue(utimer_instance_t *inst);
        u32 utimer_getPrescalerValue(utimer_instance_t *inst);

    
        u32 utimer_setConfig(utimer_instance_t *inst, u32 value);
        u32 utimer_setPrescalerValue(utimer_instance_t *inst, u32 value);
        u32 utimer_setLimit(utimer_instance_t *inst, u32 value);
 // End of TIMER_Funcs group
 
#ifdef __cplusplus
}
#endif
 // End of MAIN UserTimer Group
 
#endif // TIMER_H