Very Simple Kernel 0.1.0
Loading...
Searching...
No Matches
vsk_Time.h File Reference
#include <stdint.h>

Go to the source code of this file.

Data Structures

struct  vsk_Time
 Time. More...
 

Typedefs

typedef struct vsk_Time vsk_Time_t
 Time.
 

Functions

vsk_Time_tvsk_Time_init (vsk_Time_t *const self, uint16_t const tickPeriodMillis)
 Initializes the Time instance.
 
uint32_t vsk_Time_getMillisCount (vsk_Time_t *const self)
 Gets the number of milliseconds since the system started.
 
uint32_t vsk_Time_getOpTimeSeconds (vsk_Time_t *const self)
 Gets the number of seconds since the system started.
 
uint16_t vsk_Time_getTickPeriodMillis (vsk_Time_t *const self)
 Gets the configured tick period in milliseconds.
 
void vsk_Time_onTick (vsk_Time_t *const self)
 Ticks the time.
 

Variables

vsk_Time_t vsk_Time
 Time instance.