nexus/downloads/docs-20261014-51e93508f22f.tar.gz

#ifndef NEXUS_OS_FREERTOS_USER_H

#define NEXUS_OS_FREERTOS_USER_H


#include <stdint.h>


#ifdef __cplusplus

extern "C" {

#endif


#define NX_FREERTOS_USER_CODE __attribute__((section(".nexus_user_text")))

#define NX_FREERTOS_USER_DATA __attribute__((section(".nexus_user_data")))


#define NX_FREERTOS_PRIVILEGED_DATA                                            \

    __attribute__((section("privileged_data"), aligned(8)))


void nx_freertos_user_delay(uint32_t ticks) NX_FREERTOS_USER_CODE;


uint32_t nx_freertos_user_ticks(void) NX_FREERTOS_USER_CODE;


#ifdef __cplusplus

}

#endif


#endif /* NEXUS_OS_FREERTOS_USER_H */

NX_FREERTOS_USER_CODE
#define NX_FREERTOS_USER_CODE
Explicitly reviewed unprivileged executable code section.
Definition freertos_user.h:16

nx_freertos_user_ticks
uint32_t nx_freertos_user_ticks(void)
Read the kernel's wrapping 32-bit tick counter through SVC.

nx_freertos_user_delay
void nx_freertos_user_delay(uint32_t ticks)
Delay the calling user task through the real MPU SVC.