diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2015-12-18 05:14:27 -0500 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-03-16 10:18:25 -0400 |
| commit | 626d8bd9648dc794a1d9281644dd314f2946e642 (patch) | |
| tree | 25dcde7fa1e28386f9e284af591b7c93cfdb40cf /include | |
| parent | 0d733e2d2229ffd3dde05a324227ee45e0f37c44 (diff) | |
Add reservation_create() LITMUS^RT system call
Diffstat (limited to 'include')
| -rw-r--r-- | include/litmus.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/include/litmus.h b/include/litmus.h index adec0ee..70e7552 100644 --- a/include/litmus.h +++ b/include/litmus.h | |||
| @@ -72,6 +72,14 @@ int set_rt_task_param(pid_t pid, struct rt_task* param); | |||
| 72 | int get_rt_task_param(pid_t pid, struct rt_task* param); | 72 | int get_rt_task_param(pid_t pid, struct rt_task* param); |
| 73 | 73 | ||
| 74 | /** | 74 | /** |
| 75 | * Create a new reservation/container (not supported by all plugins). | ||
| 76 | * @param rtype The type of reservation to create. | ||
| 77 | * @param config optional reservation-specific configuration (may be NULL) | ||
| 78 | * @return 0 on success | ||
| 79 | */ | ||
| 80 | int reservation_create(int rtype, void *config); | ||
| 81 | |||
| 82 | /** | ||
| 75 | * Convert a partition number to a CPU identifier | 83 | * Convert a partition number to a CPU identifier |
| 76 | * @param partition Partition number | 84 | * @param partition Partition number |
| 77 | * @return CPU identifier for given partition | 85 | * @return CPU identifier for given partition |