Minor changes to kernel API

-Removed support for fast irq handlers
-Removed sleep_absolute interface
-Removed pk_timer_create_nonpreemptible interface
-Removed pk_interrupt_preemption_enable/disable interfaces
-Removed references to critical/noncritical irqs
-Added application context interfaces
-Added bottom-half support
-Moved timer handler from interrupt to bottom-half
-Moved thread utility functions into a separate file

Change-Id: Ie39fe0363ef52b195a808a8390cc12c2c7478674
Reviewed-on: http://gfw160.aus.stglabs.ibm.com:8080/gerrit/16898
Reviewed-by: Glenn R. Miles <milesg@us.ibm.com>
Reviewed-by: Thi N. Tran <thi@us.ibm.com>
Reviewed-by: Richard J. Knight <rjknight@us.ibm.com>
Reviewed-by: Gregory S. Still <stillgs@us.ibm.com>
Reviewed-by: Derk Rembold <rembold@de.ibm.com>
Tested-by: Derk Rembold <rembold@de.ibm.com>

1 files changed, 56 insertions, 0 deletions

diff --git a/pk/kernel/pk_thread.h b/pk/kernel/pk_thread.h
new file mode 100644
index 00000000..acc32525
--- /dev/null
+++ b/pk/kernel/pk_thread.h
@@ -0,0 +1,56 @@
+#ifndef __PK_THREAD_H__
+#define __PK_THREAD_H__
+//-----------------------------------------------------------------------------
+// *! (C) Copyright International Business Machines Corp. 2015
+// *! All Rights Reserved -- Property of IBM
+// *! *** IBM Confidential ***
+//-----------------------------------------------------------------------------
+
+/// \file pk_thread.h
+/// \brief Contains private declarations and definitions needed for threads
+///
+
+void
+__pk_thread_map(PkThread* thread);
+
+void
+__pk_thread_unmap(PkThread *thread);
+
+
+// Interrupts must be disabled at entry.
+
+static inline int
+__pk_thread_is_active(PkThread *thread)
+{
+    return ((thread->state != PK_THREAD_STATE_COMPLETED) &&
+            (thread->state != PK_THREAD_STATE_DELETED));
+}
+
+
+// Interrupts must be disabled at entry.
+
+static inline int
+__pk_thread_is_mapped(PkThread *thread)
+{
+    return (thread->state == PK_THREAD_STATE_MAPPED);
+}
+
+
+// Interrupts must be disabled at entry. This is only called on mapped threads.
+
+static inline int
+__pk_thread_is_runnable(PkThread *thread)
+{
+    return __pk_thread_queue_member(&__pk_run_queue, thread->priority);
+}
+
+
+// Interrupts must be disabled at entry.
+
+static inline PkThread*
+__pk_thread_at_priority(PkThreadPriority priority)
+{
+    return (PkThread*)__pk_priority_map[priority];
+}
+
+#endif /* __PK_THREAD_H__ */