diff options
Diffstat (limited to 'pk/ppe42/pk_port_types.h')
-rw-r--r-- | pk/ppe42/pk_port_types.h | 41 |
1 files changed, 0 insertions, 41 deletions
diff --git a/pk/ppe42/pk_port_types.h b/pk/ppe42/pk_port_types.h deleted file mode 100644 index 1536b77b..00000000 --- a/pk/ppe42/pk_port_types.h +++ /dev/null @@ -1,41 +0,0 @@ -#ifndef __PK_PORT_TYPES_H__ -#define __PK_PORT_TYPES_H__ -//----------------------------------------------------------------------------- -// *! (C) Copyright International Business Machines Corp. 2014 -// *! All Rights Reserved -- Property of IBM -// *! *** IBM Confidential *** -//----------------------------------------------------------------------------- - -/// \file pk_port_types.h -/// \brief Type definitions required by the PK port. -/// -/// \todo GCC provides a portable version of cntlzw called __builtin_clz(). -/// We should make the PK priority queues portable by using this facility. -/// -/// \todo I think that if more of the port-dependent types were moved here, we -/// could break the circular dependencies in some of the header inclusion and -/// simplify the way the PK/port/chip headers are included. - -/// An PkIrqId is an integer in the range of valid interrupts defined by the -/// interrupt controller. - -typedef uint8_t PkIrqId; - -/// PK requires the port to define the type PkThreadQueue, which is a -/// priority queue (where 0 is the highest priority). This queue must be able -/// to handle PK_THREADS + 1 priorities (the last for the idle thread). The -/// port must also define methods for clearing, insertion, deletion and min -/// (with assumed legal priorities). The min operation returns PK_THREADS if -/// the queue is empty. (Or a queue could be initialized with the PK_THREADS -/// entry always present - PK code never tries to delete the idle thread from -/// a thread queue). -/// -/// These queues are used both for the run queue and the pending queue -/// associated with every semaphore. -/// -/// On PPE42 with 32 threads (implied), this is a job for a uint32_t and -/// cntlzw(). - -typedef uint32_t PkThreadQueue; - -#endif /* __PK_PORT_TYPES_H__ */ |