1 files changed, 0 insertions, 126 deletions
diff --git a/pk/ppe42/ppe42_core.c b/pk/ppe42/ppe42_core.c
deleted file mode 100644
index 2fa86e68..00000000
--- a/pk/ppe42/ppe42_core.c
+++ /dev/null
@@ -1,126 +0,0 @@
-//-----------------------------------------------------------------------------
-// *! (C) Copyright International Business Machines Corp. 2014
-// *! All Rights Reserved -- Property of IBM
-// *! *** IBM Confidential ***
-//-----------------------------------------------------------------------------
-
-/// \file ppe42_core.c
-/// \brief The final bits of PK runtime code required to complete the PPE42
-/// port. 
-///
-/// The entry points in this file are considered 'core' routines that will
-/// always be present during runtime in any PK application.
-
-#define __PPE42_CORE_C__
-
-#include "pk.h"
-
-typedef union
-{
-    uint64_t    value;
-    struct
-    {
-        uint32_t dec_start;
-        uint32_t dec_change_tag;
-    };
-}ppe42_timebase_data_t;
-
-ppe42_timebase_data_t ppe42_tb_data = {0};
-PkTimebase  ppe42_64bit_timebase = 0;
-
-
-#if PK_TIMER_SUPPORT
-
-// The tickless kernel timer mechanism for PPE42
-//
-// This routine must be called from a critical section.
-//
-// Tickless timeouts are provided by programming the PIT timer based on when
-// the next timeout will occur.  If the timeout is for the end of time there's
-// nothing to do - PK does not use auto-reload mode so no more PIT interrupts
-// will be arriving.  Otherwise, if the timeout is longer than the 32-bit PIT
-// timer can handle, we simply schedule the timeout for 2**32 - 1 and
-// __pk_timer_handler() will keep rescheduling it until it finally occurs.
-// If the \a timeout is in the past, we schedule the PIT interrupt for 1 tick
-// in the future in accordance with the PK specification.
-
-#ifndef APPCFG_USE_EXT_TIMEBASE
-void
-__pk_schedule_hardware_timeout(PkTimebase timeout)
-{
-    PkTimebase       now;
-    uint32_t         new_dec;
-    uint32_t         dec;
-
-    if (timeout != PK_TIMEBASE_MAX) {
-
-        now = pk_timebase_get();
-
-        if (timeout <= now) {
-            new_dec = 1;
-        } else if ((timeout - now) > 0xffff0000) {
-            new_dec = 0xffff0000;
-        } else {
-            new_dec = timeout - now;
-        }
-
-        //read and write the DEC back-to-back so that we lose as little time
-        //as possible
-        dec = mfspr(SPRN_DEC);
-        mtspr(SPRN_DEC, new_dec);
-
-        //update our 64bit accumulator with how much time has advanced since
-        //we last changed it.
-        ppe42_64bit_timebase += ppe42_tb_data.dec_start - dec;
-
-        //update our start time so we know how much time has advanced since
-        //this update of the accumulator
-        ppe42_tb_data.dec_start = new_dec;
-        ppe42_tb_data.dec_change_tag++;
-    }
-}
-
-#else
-
-void
-__pk_schedule_hardware_timeout(PkTimebase timeout)
-{
-    PkTimebase       now;
-    PkTimebase       diff;
-    uint32_t         new_dec;
-
-    if (timeout != PK_TIMEBASE_MAX) {
-
-        now = pk_timebase_get();
-
-        //update our 64bit accumulator with the current snapshot
-        ppe42_64bit_timebase = now;
-
-        if (timeout <= now)
-        {
-            new_dec = 1;
-        }
-        else
-        {
-            diff = (timeout - now);
-
-            if (diff > 0xfffffffful)
-            {
-                new_dec = 0xffffffff;
-            }
-            else
-            {
-                new_dec = diff;
-            }
-        }
-
-        mtspr(SPRN_DEC, new_dec);
-
-    }
-}
-
-#endif  /* APPCFG_USE_EXT_TIMEBASE */
-
-#endif  /* PK_TIMER_SUPPORT */
-
-#undef __PPE42_CORE_C__