sys_time.h

Go to the documentation of this file.

#pragma once
 
#include <kernel/cpu/interrupt.h>
#include <kernel/sync/lock.h>
 
#include <sys/proc.h>
#include <time.h>
 
typedef struct cpu cpu_t;
 
#define SYS_TIME_MAX_SOURCES 8
 
typedef struct
{
    const char* name;
    clock_t (*read)(void);
    clock_t precision;
} sys_time_source_t;
 
uint64_t sys_time_register_source(const sys_time_source_t* source);
 
void sys_time_unregister_source(const sys_time_source_t* source);
 
clock_t sys_time_uptime(void);
 
time_t sys_time_unix_epoch(void);
 
void sys_time_wait(clock_t nanoseconds);