kerneli.h

本程序为ST公司开发的源代码

/*
 * esf85.h
 *
 * Copyright (C) STMicroelectronics Ltd. 2000
 *
 * Kernel header file
 */

#ifndef _kerneli_h
#define _kerneli_h

typedef enum kernel_state_e
{
  kernel_state_uninitialized,
  kernel_state_initialized,
  kernel_state_started
} kernel_state_t; 

kernel_state_t  kernel_state (void);

unsigned exception_init (unsigned *vector, void (*handler)(void));

int          current_priority (void);
void         os_enqueue (task_t* task);
void         reset_priority (int Priority);

void         allow_interrupts (void);
void         disallow_interrupts (void);
void         critical_start(void);
void         critical_end(void);
void         go_to_sleep (void);
void         os_disable_timeslice (void);
void         os_enable_timeslice (void);

typedef enum
{
  TS_R0,  
  TS_R1,  
  TS_R2,  
  TS_R3,  
  TS_R4,  
  TS_R5,  
  TS_R6,  
  TS_R7,  
  TS_R8,  
  TS_R9,  
  TS_R10, 
  TS_R11, 
  TS_R12, 
  TS_R13, 
  TS_R14, 
  TS_PC,    
  TS_CPSR,
  NUMREGS
} regs_t;

void         os_result_exit (int result);
void         os_void_exit (void);
void         restore_user_state (workspace_t task_wptr); 
workspace_t  save_user_state (void);

void         start_system (void);

void         task_deschedule (void);
void         task_schedule (task_t* task);

void         semaphore_wait_fifo (semaphore_t* semaphore);
int          semaphore_wait_fifo_timeout (semaphore_t* semaphore, const osclock_t* time);
void         semaphore_wait_priority (semaphore_t* semaphore);
int          semaphore_wait_priority_timeout (semaphore_t* semaphore, const osclock_t* time);

extern unsigned time_slice_on_clock_wrap;

#endif