#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*/