MCPcopy Create free account
hub / github.com/ARMmbed/DAPLink / osKernelInitialize

Function osKernelInitialize

source/rtos2/RTX/Source/rtx_kernel.c:514–526  ·  view source on GitHub ↗

Initialize the RTOS Kernel.

Source from the content-addressed store, hash-verified

512
513/// Initialize the RTOS Kernel.
514osStatus_t osKernelInitialize (void) {
515 osStatus_t status;
516
517 osRtxKernelPreInit();
518 EvrRtxKernelInitialize();
519 if (IsIrqMode() || IsIrqMasked()) {
520 EvrRtxKernelError((int32_t)osErrorISR);
521 status = osErrorISR;
522 } else {
523 status = __svcKernelInitialize();
524 }
525 return status;
526}
527
528/// Get RTOS Kernel Information.
529osStatus_t osKernelGetInfo (osVersion_t *version, char *id_buf, uint32_t id_size) {

Callers 2

software_init_hookFunction · 0.70

Calls 5

EvrRtxKernelInitializeFunction · 0.85
IsIrqModeFunction · 0.85
IsIrqMaskedFunction · 0.85
EvrRtxKernelErrorFunction · 0.85
osRtxKernelPreInitFunction · 0.70

Tested by

no test coverage detected