|
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. | |