Use mirrored PK

Change-Id: I8b990bf48bde9434f981dad4100a81bfe7a3c766
RTC: 158865
Reviewed-on: http://ralgit01.raleigh.ibm.com/gerrit1/28293
Tested-by: Jenkins Server <pfd-jenkins+hostboot@us.ibm.com>
Reviewed-by: Gregory S. Still <stillgs@us.ibm.com>
Reviewed-by: Douglas R. Gilbert <dgilbert@us.ibm.com>
Reviewed-by: Shakeeb A. Pasha B K <shakeebbk@in.ibm.com>
Reviewed-by: AMIT J. TENDOLKAR <amit.tendolkar@in.ibm.com>

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__ */