diff options
| author | Sven Dziadek <s9svdzia@stud.uni-saarland.de> | 2012-04-16 15:37:40 -0400 |
|---|---|---|
| committer | Sven Dziadek <s9svdzia@stud.uni-saarland.de> | 2012-05-31 16:23:38 -0400 |
| commit | 6e1ceb5ab56005fd343f52bbb8d2879e2c1493bd (patch) | |
| tree | 7747fe454511e842c273dca77359a1f473cb3c7c /src/litmus.c | |
| parent | aae25e0770ade4083937c7443448cb3f0023b10a (diff) | |
P-FP: make PCP available to user space
PCP was only used for DPCP before
tests: add some basic tests for PCP under P-FP
Diffstat (limited to 'src/litmus.c')
| -rw-r--r-- | src/litmus.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/litmus.c b/src/litmus.c index 9afe7a2..33937c8 100644 --- a/src/litmus.c +++ b/src/litmus.c | |||
| @@ -22,6 +22,7 @@ static struct { | |||
| 22 | LP(MPCP_VS), | 22 | LP(MPCP_VS), |
| 23 | {MPCP_VS_SEM, "MPCP-VS"}, | 23 | {MPCP_VS_SEM, "MPCP-VS"}, |
| 24 | LP(DPCP), | 24 | LP(DPCP), |
| 25 | LP(PCP), | ||
| 25 | }; | 26 | }; |
| 26 | 27 | ||
| 27 | #define NUM_PROTOS (sizeof(protocol)/sizeof(protocol[0])) | 28 | #define NUM_PROTOS (sizeof(protocol)/sizeof(protocol[0])) |