1 files changed, 46 insertions, 0 deletions
diff --git a/pk/std/std_timebase.h b/pk/std/std_timebase.h
new file mode 100644
index 00000000..e88a9bc6
--- /dev/null
+++ b/pk/std/std_timebase.h
@@ -0,0 +1,46 @@
+#ifndef __STD_TIMEBASE_H__
+#define __STD_TIMEBASE_H__
+
+//-----------------------------------------------------------------------------
+// *! (C) Copyright International Business Machines Corp. 2015
+// *! All Rights Reserved -- Property of IBM
+// *! *** IBM Confidential ***
+//-----------------------------------------------------------------------------
+
+/// \file std_timebase.h
+/// \brief support for using the standard PPE 32 bit timebase register
+///
+/// Each standard PPE has it's own timebase register that runs at a constant
+/// frequency. 
+
+#include "pk.h"
+
+//The timebase register is not yet supported in the STD model.
+//remove this line once it is supported.
+#define APPCFG_USE_DEC_FOR_TIMEBASE
+
+#ifndef __ASSEMBLER__
+
+#ifndef APPCFG_USE_DEC_FOR_TIMEBASE
+static inline
+uint32_t pk_timebase32_get(void)
+{
+    return (uint32_t)((in64(STD_LCL_TBR)) >> 32);
+}
+
+#else
+//assembly function is defined in ppe42_timebase.S
+uint32_t pk_timebase32_get(void);
+
+#endif  /* APPCFG_USE_DEC_FOR_TIMEBASE */
+
+#else
+
+    .macro _pk_timebase32_get rT, rA
+        lis \rA, STD_LCL_TBR@ha
+        lvd \rT, STD_LCL_TBR@l(\rA)
+    .endm
+
+#endif  /* __ASSEMBLER__ */
+
+#endif /* __STD_TIMEBASE_H__ */