}
-#define FRSH_SYNCHOBJ_HANDLE_T_OPAQUE int
+typedef int FRSH_SYNCHOBJ_HANDLE_T_OPAQUE;
-#define FRSH_SHAREDOBJ_HANDLE_T_OPAQUE int
+typedef int FRSH_SHAREDOBJ_HANDLE_T_OPAQUE;
/**
* Critical section data
* op_kind; // kind of operation (READ or WRITE)
* obj_handle; // handle to shared object
* wcet; // Execution time
+ * blocking; // Blocking time (execution time + protection overheads)
* - attributes used only for protected shared objects
* op; // pointer to the operation
* - attributes used only for protected write operations
frsh_csect_op_kind_t op_kind; \
frsh_sharedobj_handle_t obj_handle; \
struct timespec wcet; \
+ struct timespec blocking; \
frsh_csect_op_t op; \
frsh_memory_areas_t areas; \
}
//opaque types for frsh endpoints
-#define FRSH_SEND_ENDPOINT_T_OPAQUE int
+typedef int FRSH_SEND_ENDPOINT_T_OPAQUE;
-#define FRSH_RECEIVE_ENDPOINT_T_OPAQUE int
+typedef int FRSH_RECEIVE_ENDPOINT_T_OPAQUE;
/*@}*/