Add get_control_page() library function

1 files changed, 13 insertions, 0 deletions

diff --git a/src/kernel_iface.c b/src/kernel_iface.c
index dbc4baa..afb6202 100644
--- a/src/kernel_iface.c
+++ b/src/kernel_iface.c
@@ -72,3 +72,16 @@ void exit_np(void)
         }
 }
 
+/* init and return a ptr to the control page for
+ * preemption and migration overhead analysis
+ *
+ * FIXME it may be desirable to have a RO control page here
+ */
+struct control_page* get_ctrl_page(void)
+{
+        if((ctrl_page != NULL) || init_kernel_iface() == 0)
+                return ctrl_page;
+        else
+                return NULL;
+}
+