1 files changed, 0 insertions, 40 deletions
diff --git a/pk/gpe/gpe_timebase.h b/pk/gpe/gpe_timebase.h
deleted file mode 100644
index 648a3dcd..00000000
--- a/pk/gpe/gpe_timebase.h
+++ /dev/null
@@ -1,40 +0,0 @@
-#ifndef __GPE_TIMEBASE_H__
-#define __GPE_TIMEBASE_H__
-
-//-----------------------------------------------------------------------------
-// *! (C) Copyright International Business Machines Corp. 2015
-// *! All Rights Reserved -- Property of IBM
-// *! *** IBM Confidential ***
-//-----------------------------------------------------------------------------
-
-/// \file gpe_timebase.h
-/// \brief support for using the OCB 32 bit timebase register
-///
-/// The OCB timebase register is a 32 bit count-up register that is shared
-/// by all GPE's in the OCC complex.
-
-#include "pk.h"
-
-#ifndef __ASSEMBLER__
-
-#ifdef APPCFG_USE_EXT_TIMEBASE
-static inline
-uint32_t pk_timebase32_get(void)
-{
-    return in32(OCB_OTBR);
-}
-
-#else
-//assembly function is defined in ppe42_timebase.S
-uint32_t pk_timebase32_get(void);
-
-#endif /* APPCFG_USE_EXT_TIMEBASE */
-
-#else
-
-    .macro _pk_timebase32_get rT, rA
-        _lwzi \rT, \rA, OCB_OTBR
-    .endm
-#endif  /* __ASSEMBLER__ */
-
-#endif /* __GPE_TIMEBASE_H__ */