/* taskWaitShow.h - header file for taskWaitShow routines */

/* Copyright 2004, 2009 Wind River Systems, Inc. */

/*
modification history
--------------------
01b,15may09,jmp  Adapted for 64-bit support.
01a,07sep04,bpn  Written.
*/

#ifndef __INCtaskWaitShowh
#define __INCtaskWaitShowh

#ifdef __cplusplus
extern "C" {
#endif

extern STATUS taskWaitShow (TASK_ID taskId, int level);

#ifdef __cplusplus
}
#endif

#endif /* __INCtaskWaitShowh */