k51.h

同事写的一个内核

// global variables
extern unsigned char data k51_int_nest;

// functions
void k51_int_exit();
void k51_tick();

void k51_init();

unsigned char task1_init();
unsigned char task2_init();
unsigned char task3_init();
unsigned char task4_init();

void k51_sleep(unsigned char ticks_count);

void k51_signal_init (unsigned char idata* p_sig);
void k51_signal_send (unsigned char idata* p_sig);
void k51_signal_wait (unsigned char idata* p_sig);

void k51_mutex_init   (unsigned char idata* p_mut);
void k51_mutex_release(unsigned char idata* p_mut);
void k51_mutex_wait   (unsigned char idata* p_mut);