From 05b2ec2ab620b102a2d2fb92dac95ddbc1e09143 Mon Sep 17 00:00:00 2001 From: Andrea Bastoni Date: Mon, 12 Apr 2010 23:30:36 -0400 Subject: Add get_control_page() library function --- src/kernel_iface.c | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'src') 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; +} + -- cgit v1.2.2