Adding frsh_usec_to_rel_time()

[frescor/frsh-include.git] / frsh_shared_objects.h

diff --git a/frsh_shared_objects.h b/frsh_shared_objects.h
index 6492aad21cc7dca65b929f1906e237ff333635cd..76e0d893e4af6dbef2e897f6214aa3e1146f9ce1 100644 (file)
--- a/frsh_shared_objects.h
+++ b/frsh_shared_objects.h
@@ -375,7 +375,7 @@ int frsh_sharedobj_remove
  **/
 int frsh_csect_init
     (frsh_sharedobj_handle_t obj_handle,
-     struct timespec wcet,
+     frsh_rel_time_t wcet,
      frsh_csect_t *csect);
 
 
@@ -419,7 +419,7 @@ int frsh_csect_get_sharedobj_handle
  **/
 int frsh_csect_get_wcet
     (const frsh_csect_t *csect,
-     struct timespec *wcet);
+     frsh_rel_time_t *wcet);
 
 
 /**
@@ -618,7 +618,7 @@ int frsh_csect_invoke
  **/
 int frsh_csect_get_blocking_time
     (const frsh_csect_t *csect,
-     struct timespec *blocking);
+     frsh_rel_time_t *blocking);
 
 
 /**