1 files changed, 0 insertions, 72 deletions
diff --git a/pk/ppe42/ppe42_gcc.h b/pk/ppe42/ppe42_gcc.h
deleted file mode 100644
index 8c4179cf..00000000
--- a/pk/ppe42/ppe42_gcc.h
+++ /dev/null
@@ -1,72 +0,0 @@
-#ifndef __PPE42_GCC_H__
-#define __PPE42_GCC_H__
-//-----------------------------------------------------------------------------
-// *! (C) Copyright International Business Machines Corp. 2014
-// *! All Rights Reserved -- Property of IBM
-// *! *** IBM Confidential ***
-//-----------------------------------------------------------------------------
-
-/// \file ppe42_gcc.h
-/// \brief 32-bit functions expected by GCC
-
-#ifndef __ASSEMBLER__
-
-#include <stdint.h>
-
-/// A 64-bit unsigned integer type
-
-typedef union {
-    uint64_t value;
-    uint32_t word[2];
-} Uint64;
-
-/// A 64-bit signed integer type
-
-typedef union {
-    int64_t value;
-    int32_t word[2];
-} Int64;
-
-uint64_t
-__lshrdi3(uint64_t x, int i);
-
-uint64_t
-__ashldi3(uint64_t x, int i);
-
-uint64_t
-__ashrdi3(uint64_t x, int i);
-
-int
-__popcountsi2(uint32_t x);
-
-int
-__popcountdi2(uint64_t x);
-
-/// Unsigned 64/64 bit divide, returning quotient and remainder via pointers.
-
-void
-__ppe42_udiv64(uint64_t u, uint64_t v, uint64_t *q, uint64_t *r);
-
-/// Signed 64/64 bit divide, returning quotient and remainder via pointers.
-
-void
-__ppe42_sdiv64(int64_t u, int64_t v, int64_t *q, int64_t *r);
-
-uint64_t 
-__udivdi3(uint64_t u, uint64_t v);
-
-int64_t
-__divdi3(int64_t u, int64_t v);
-
-int64_t
-__moddi3(int64_t u, int64_t v);
-
-uint64_t 
-__umoddi3(uint64_t u, uint64_t v);
-
-int
-__ucmpdi2(uint64_t a, uint64_t b);
-
-#endif /* __ASSEMBLER__ */
-
-#endif /* __PPE42_GCC_H__ */