cmrx/cmrx_8h_source.html

#pragma once


#include <stdint.h>

#include <conf/kernel.h>

#include <arch/sysenter.h>


#ifdef CMRX_ARCH_SMP_SUPPORTED

#   define os_start(core) _os_start((core))

#else

#   define os_start() _os_start(0)

#endif


// Declaring this as noreturn will break HIL tests

extern void _os_start(uint8_t start_core);


__SYSCALL long get_cpu_freq(void);


__SYSCALL uint32_t getmicrotime(void);


__SYSCALL uint32_t shutdown(void);


uint32_t diff_microtime(uint32_t older_timestamp, uint32_t newer_timestamp);


get_cpu_freq
__SYSCALL long get_cpu_freq(void)
Obtain the current CPU frequency.
Definition std.c:4

diff_microtime
uint32_t diff_microtime(uint32_t older_timestamp, uint32_t newer_timestamp)
Calculate a distance of two timestamps Small helper function to calculate the time between two timest...
Definition std.c:21

getmicrotime
__SYSCALL uint32_t getmicrotime(void)
Obtain the current scheduler time.
Definition std.c:10

shutdown
__SYSCALL uint32_t shutdown(void)
Shutdown CMRX kernel.
Definition std.c:16

__SYSCALL
#define __SYSCALL
Mark function as syscall entrypoint in userspace.
Definition sysenter.h:14

_os_start
void _os_start(uint8_t start_core)
Start up scheduler.
Definition sched.c:537