diff options
| author | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2011-07-25 15:35:23 -0400 |
|---|---|---|
| committer | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2011-07-25 15:35:23 -0400 |
| commit | c99ac8859a07b881dd9c4e0eeebc836d24cc27c1 (patch) | |
| tree | 905764665d9214308fec749f1f8a096f1ac1c77b /include | |
| parent | 1a7a9033098f58708ce2b98495b0ee73c4504130 (diff) | |
update headers
we need uint64_t in litmus.h
Diffstat (limited to 'include')
| -rw-r--r-- | include/litmus.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/litmus.h b/include/litmus.h index 2b6b374..0d0b31c 100644 --- a/include/litmus.h +++ b/include/litmus.h | |||
| @@ -6,6 +6,7 @@ extern "C" { | |||
| 6 | #endif | 6 | #endif |
| 7 | 7 | ||
| 8 | #include <sys/types.h> | 8 | #include <sys/types.h> |
| 9 | #include <stdint.h> | ||
| 9 | 10 | ||
| 10 | /* Include kernel header. | 11 | /* Include kernel header. |
| 11 | * This is required for the rt_param | 12 | * This is required for the rt_param |