Add support for the DFLP

Just add the ID and symbol.

2 files changed, 3 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  {
         MPCP_VS_SEM     = 3, /**< Multiprocessor Priority Ceiling Protocol with
                                                   Virtual Spinning */
         DPCP_SEM        = 4, /**< Distributed Priority Ceiling Protocol */
-        PCP_SEM     = 5, /**< Priority Ceiling Protocol */
+        PCP_SEM         = 5, /**< Priority Ceiling Protocol */
+        DFLP_SEM        = 6, /**< Distributed FIFO Locking Protocol */
 } obj_type_t;
 
 /**
diff --git a/src/litmus.c b/src/litmus.c
index 4631eea..d7b7b3c 100644
--- a/src/litmus.c
+++ b/src/litmus.c
@@ -26,6 +26,7 @@ static struct {
         {MPCP_VS_SEM, "MPCP-VS"},
         LP(DPCP),
         LP(PCP),
+        LP(DFLP),
 };
 
 #define NUM_PROTOS (sizeof(protocol)/sizeof(protocol[0]))