Passing FRSH_TRACE as a standard (non-inlined) function in order for -O1 to

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

diff --git a/frsh_shared_objects.h b/frsh_shared_objects.h
index c2120749dfa468d8c3dcfe45d66eca32feace671..f48dc9d5cb35f7d2baf968cc65cfd9bdeb6bd755 100644 (file)
--- a/frsh_shared_objects.h
+++ b/frsh_shared_objects.h
@@ -73,7 +73,6 @@
 #ifndef _FRSH_SHARED_OBJECTS_H_
 #define _FRSH_SHARED_OBJECTS_H_
 
-#include "frsh_fosa.h"
 #include "frsh_shared_objects_types.h"
 #include "frsh_core_types.h"
 
@@ -478,7 +477,7 @@ int frsh_csect_register_write_op
  * frsh_csect_get_op_kind()
  *
  * Returns the type of operation (read/write/unchecked) of the critical section.
-
+ *
  * @return 0 if no error \n
  *   FRSH_ERR_BAD_ARGUMENT : if csect or op_kind are NULL or csect
  *      is not correct \n
@@ -621,6 +620,34 @@ int frsh_csect_get_blocking_time
      struct timespec *blocking);
 
 
+/**
+ * frsh_csect_destroy()
+ * 
+ * Destroy a critical section, deallocating all the resources that may
+ * have been allocated to it.
+ **/
+int frsh_csect_destroy
+   (frsh_csect_t *csect);
+
+/**
+ * frsh_csect_register_thread()
+ * 
+ * Register the calling thread for invoking time-protected critical
+ * sections via frsh_csect_invoke.
+ **/
+int frsh_csect_register_thread();
+
+/**
+ * frsh_csect_deregister_thread()
+ * 
+ * Deregister the calling thread from being able to invoke
+ * time-protected critical sections. This operation releases system
+ * resources that may have been allocated for the thread.
+ **/
+int frsh_csect_deregister_thread();
+
+
+
 /*@}*/ /* For so_critical group */
 
 
@@ -647,7 +674,7 @@ int frsh_csect_get_blocking_time
  * @return 0 if no error \n
  *    FRSH_ERR_BAD_ARGUMENT :  if any of the pointers is NULL or 
  *    the size of the critical_sections structure is less than zero
- *    or grater than FRSH_MAX_N_CRITICAL_SECTIONS
+ *    or greater than FRSH_MAX_N_CRITICAL_SECTIONS
  * 
  **/
 int frsh_contract_set_csects