diff options
| author | Sven Dziadek <s9svdzia@stud.uni-saarland.de> | 2012-04-16 15:00:33 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-07-23 05:57:59 -0400 |
| commit | 16c1fb2d4ac691e941456a084284020c63fce93a (patch) | |
| tree | 0f7cf24be334788c9f9bb8242966df83f6266dc6 /litmus/fdso.c | |
| parent | 4bc55d3b64fdf0af17f4777013a74fbef7f40ced (diff) | |
P-FP: port P-FP plugin used in B. Brandenburg's
dissertation (branch bbb-diss) to current
version of litmus
This is needed for ongoing projects
I took the unchanged code but removed some leftovers
of OMLP which is not implemented
Diffstat (limited to 'litmus/fdso.c')
| -rw-r--r-- | litmus/fdso.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/litmus/fdso.c b/litmus/fdso.c index aa7b384264e3..04c0b55e41d3 100644 --- a/litmus/fdso.c +++ b/litmus/fdso.c | |||
| @@ -23,6 +23,9 @@ extern struct fdso_ops generic_lock_ops; | |||
| 23 | static const struct fdso_ops* fdso_ops[] = { | 23 | static const struct fdso_ops* fdso_ops[] = { |
| 24 | &generic_lock_ops, /* FMLP_SEM */ | 24 | &generic_lock_ops, /* FMLP_SEM */ |
| 25 | &generic_lock_ops, /* SRP_SEM */ | 25 | &generic_lock_ops, /* SRP_SEM */ |
| 26 | &generic_lock_ops, /* MPCP_SEM */ | ||
| 27 | &generic_lock_ops, /* MPCP_VS_SEM */ | ||
| 28 | &generic_lock_ops, /* DPCP_SEM */ | ||
| 26 | }; | 29 | }; |
| 27 | 30 | ||
| 28 | static int fdso_create(void** obj_ref, obj_type_t type, void* __user config) | 31 | static int fdso_create(void** obj_ref, obj_type_t type, void* __user config) |