36 lines
871 B
C
36 lines
871 B
C
#ifndef INCLUDED_OS_SCHED_H
|
|
#define INCLUDED_OS_SCHED_H
|
|
|
|
#ifndef INCLUDED_OS_TYPES_H
|
|
#include <os_types.h>
|
|
#endif /*INCLUDED_OS_TYPES_H*/
|
|
|
|
#ifndef INCLUDED_OS_COMPILER_H
|
|
#include <os_compiler.h>
|
|
#endif /*INCLUDED_OS_COMPILER_H*/
|
|
|
|
/* ------------------------------------------------------------------------------------------------------------------ */
|
|
/* */
|
|
|
|
typedef struct os_task_t os_task_t;
|
|
|
|
/* ------------------------------------------------------------------------------------------------------------------ */
|
|
/* */
|
|
|
|
|
|
extern volatile os_task_t* g_os_sched_current_task_p;
|
|
extern volatile os_size_t g_os_sched_pending_cnt;
|
|
|
|
/* ------------------------------------------------------------------------------------------------------------------ */
|
|
/* */
|
|
|
|
|
|
void os_sched_init(void);
|
|
|
|
void os_sched(void);
|
|
|
|
void os_sched_in_isr(void);
|
|
|
|
|
|
#endif /*INCLUDED_OS_SCHED_H*/
|