/* taskPpcLib.h - generic kernel interface header */

/*
modification history
--------------------
01a,02jun94,yao  written.
*/

#ifndef __INCtaskPpcLibh
#define __INCtaskPpcLibh

#ifdef __cplusplus
extern "C" {
#endif

#ifdef __cplusplus
}
#endif

#endif /* __INCtaskPpcLibh */