diff options
| author | BernardXiong <[email protected]> | 2021-09-11 16:00:00 +0800 |
|---|---|---|
| committer | BernardXiong <[email protected]> | 2021-09-11 16:00:00 +0800 |
| commit | 3dc820b3717637c4b2a54f12ab09f64037e97e9f (patch) | |
| tree | 424a28e851fb6e25f8ba73e4ad0fd71c63d0f559 /components/drivers/include | |
| parent | a25dbad37f90d28b8d3303b65b964babb228962b (diff) | |
[drivers] fix stdint issue in cputime
Diffstat (limited to 'components/drivers/include')
| -rw-r--r-- | components/drivers/include/drivers/cputime.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/components/drivers/include/drivers/cputime.h b/components/drivers/include/drivers/cputime.h index 0141f24805..26a1e40f8e 100644 --- a/components/drivers/include/drivers/cputime.h +++ b/components/drivers/include/drivers/cputime.h @@ -11,6 +11,8 @@ #ifndef CPUTIME_H__ #define CPUTIME_H__ +#include <stdint.h> + struct rt_clock_cputime_ops { float (*cputime_getres) (void); |