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-11-24 14:48:23 -0500 |
| commit | ecf0549adc8b86c9daeee9eb4cd186fdec2aa21b (patch) | |
| tree | d68397233c13232628b13ee0243d218c67e4d8ba /include | |
| parent | d691d4545dc0594bc4bf13c4c07eeeaf73c3b232 (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 52435d8..40ee124 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 |