Very Simple Kernel 0.1.0
|
#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_t * | vsk_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. | |