source: soft/giet_vm/sys/ctx_handler.h @ 193

#ifndef _CTX_HANDLER_H
#define _CTX_HANDLER_H

#include <giet_config.h>

/////////////////////////////////////////////////////////////////////////////////
//      Definition of the scheduler structure
/////////////////////////////////////////////////////////////////////////////////

typedef struct static_scheduler_s
{
    unsigned int        context[15][64];                // at most 15 task contexts
    unsigned int        tasks;                                  // actual number of tasks
    unsigned int        current;                                // current task index
    unsigned int        interrupt_vector[32];   // interrupt vector
} static_scheduler_t;

/////////////////////////////////////////////////////////////////////////////////
//      Definition of the task context slots indexes
/////////////////////////////////////////////////////////////////////////////////

#define CTX_SR_ID               0
#define CTX_SP_ID               29
#define CTX_RA_ID               31

#define CTX_EPC_ID              32
#define CTX_CR_ID               33
#define CTX_PTPR_ID             35
#define CTX_MODE_ID             36

#define CTX_TTY_ID              40
#define CTX_FBDMA_ID    41
#define CTX_PTAB_ID             42
#define CTX_TASK_ID             43
#define CTX_SCHED_ID    44
#define CTX_TIMER_ID    45

//////////////////////////////////////////////////////////////////////////////////
//      Prototype of the context switch function
//////////////////////////////////////////////////////////////////////////////////

extern void _ctx_switch();

extern static_scheduler_t _scheduler[];

#endif