os.h

Go to the documentation of this file.

/* SPDX-License-Identifier: GPL-2.0+ */
 
#ifndef __OS_H__
#define __OS_H__
 
#include <stdbool.h>
#include <stddef.h>
#include <stdint.h>
#include <types.h>
 
#include <timer.h>
 
#define TIMER_ALWAYS_RUN 0xFFFFFFFF
 
typedef struct task_struct {
    void (*callback)(void *arg, uint32_t event);
    void *arg;
    uint32_t run_count;
    uint32_t max_run_count;
    uint32_t interval;
    uint32_t elapsed_time;
    struct task_struct *next;
} task_t;
 
typedef struct timer_struct {
    task_t task;
    uint32_t interval;
} timer_t;
 
void timer_create(timer_t *timer, void (*callback)(void *arg, uint32_t event), void *arg);
 
 
void timer_start(timer_t *timer, uint32_t max_run_count, uint32_t interval);
 
void timer_handle();
 
#endif// __OS_H__