Update

[l4.git] / l4 / pkg / ferret / lib / gcc_instrument / instrument.c

diff --git a/l4/pkg/ferret/lib/gcc_instrument/instrument.c b/l4/pkg/ferret/lib/gcc_instrument/instrument.c
index 691b63411dcddcae9722dfe70550ad744140deba..2ef729fe6e456fa0e36bc93a6c09d746d1b6806c 100644 (file)
--- a/l4/pkg/ferret/lib/gcc_instrument/instrument.c
+++ b/l4/pkg/ferret/lib/gcc_instrument/instrument.c
@@ -44,7 +44,7 @@ void main_destructor(void)
  * implementations
  */
 ferret_list_local_t * __func_trace_list = NULL;
-l4_threadid_t (*ferret_gcc_instrument_myself_func)(void) = NULL;
+l4_cap_idx_t (*ferret_gcc_instrument_myself_func)(void) = NULL;
 
 void __cyg_profile_func_enter(void *func_address, void *callsite)
 {
@@ -89,7 +89,7 @@ void main_destructor(void)
 /* Set two function pointers and create sensor.
  */
 void ferret_gcc_instrument_init(void *(*alloc)(size_t s),
-                                l4_threadid_t (*myself)(void))
+                                l4_cap_idx_t (*myself)(void))
 {
     int ret;
     ferret_gcc_instrument_myself_func = myself;