contract label length to conf params

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

diff --git a/frsh_opaque_types.h b/frsh_opaque_types.h
index 5191117a0585b8f2e011848fe28f86421ec0c255..e12a8ad51e1e73418391beea3d33c89c2c84eae5 100644 (file)
--- a/frsh_opaque_types.h
+++ b/frsh_opaque_types.h
@@ -209,6 +209,7 @@ typedef int FRSH_SHAREDOBJ_HANDLE_T_OPAQUE;
  *     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
@@ -219,8 +220,10 @@ typedef int FRSH_SHAREDOBJ_HANDLE_T_OPAQUE;
   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;                         \
+  frsh_memory_areas_t storage;                         \
 }