diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2014-03-19 11:35:23 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2014-04-01 13:38:32 -0400 |
| commit | ad6403fe186889fd934c7dcb495b1ffb60fae09f (patch) | |
| tree | 240869e492626f15877dcf20863964b2adee038a /include | |
| parent | 7e861d78fd96c9f411b52b851c6d66b957f3e6f2 (diff) | |
Add support for the DFLP
Just add the ID and symbol.
Diffstat (limited to 'include')
| -rw-r--r-- | include/litmus.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/include/litmus.h b/include/litmus.h index 5a5461f..0e3b69e 100644 --- a/include/litmus.h +++ b/include/litmus.h | |||
| @@ -157,7 +157,8 @@ typedef enum { | |||
| 157 | MPCP_VS_SEM = 3, /**< Multiprocessor Priority Ceiling Protocol with | 157 | MPCP_VS_SEM = 3, /**< Multiprocessor Priority Ceiling Protocol with |
| 158 | Virtual Spinning */ | 158 | Virtual Spinning */ |
| 159 | DPCP_SEM = 4, /**< Distributed Priority Ceiling Protocol */ | 159 | DPCP_SEM = 4, /**< Distributed Priority Ceiling Protocol */ |
| 160 | PCP_SEM = 5, /**< Priority Ceiling Protocol */ | 160 | PCP_SEM = 5, /**< Priority Ceiling Protocol */ |
| 161 | DFLP_SEM = 6, /**< Distributed FIFO Locking Protocol */ | ||
| 161 | } obj_type_t; | 162 | } obj_type_t; |
| 162 | 163 | ||
| 163 | /** | 164 | /** |