diff options
author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2014-07-17 12:01:42 -0400 |
---|---|---|
committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2014-07-17 12:01:42 -0400 |
commit | a83d1f59605a06fc22b399b38ce4b831d38b6442 (patch) | |
tree | e0ed508aee6f20f52050584d0bc7e8b0349288e9 /include | |
parent | 54ab0e29794e9f22aacd206102d9e4d643e28efe (diff) |
Add reservation-related system calls
Diffstat (limited to 'include')
-rw-r--r-- | include/litmus.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/include/litmus.h b/include/litmus.h index f99ccec..3bd6b92 100644 --- a/include/litmus.h +++ b/include/litmus.h | |||
@@ -416,6 +416,11 @@ int null_call(cycles_t *timestamp); | |||
416 | */ | 416 | */ |
417 | struct control_page* get_ctrl_page(void); | 417 | struct control_page* get_ctrl_page(void); |
418 | 418 | ||
419 | int reservation_create(int rtype, void *config); | ||
420 | |||
421 | int reservation_destroy(unsigned int reservation_id, int cpu); | ||
422 | |||
423 | |||
419 | #ifdef __cplusplus | 424 | #ifdef __cplusplus |
420 | } | 425 | } |
421 | #endif | 426 | #endif |