diff options
author | Simon Glass <sjg@chromium.org> | 2013-05-19 16:45:35 -0700 |
---|---|---|
committer | Simon Glass <sjg@chromium.org> | 2013-11-21 16:54:25 -0700 |
commit | 2a54d1599f4c3a95b1d39db45888b49c36465af3 (patch) | |
tree | ca392f91de99bdc044cddac270b684b1d4c1f795 /include/os.h | |
parent | c2e5e802ecb7ab668ce9911b210ed68c804b349f (diff) | |
download | u-boot-2a54d1599f4c3a95b1d39db45888b49c36465af3.tar.gz |
sandbox: Use uint64_t instead of u64 for time
The uint64_t type is defined in linux/types.h, so is safer than u64, which
is not actually a Linux type.
Change-Id: Ifc9a369e6543250c49117b8d3cb3a676eee43e04
Signed-off-by: Simon Glass <sjg@chromium.org>
Diffstat (limited to 'include/os.h')
-rw-r--r-- | include/os.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/include/os.h b/include/os.h index 8665f70edb..950433daa3 100644 --- a/include/os.h +++ b/include/os.h @@ -11,6 +11,8 @@ #ifndef __OS_H__ #define __OS_H__ +#include <linux/types.h> + struct sandbox_state; /** @@ -116,7 +118,7 @@ void os_usleep(unsigned long usec); * * \return A monotonic increasing time scaled in nano seconds */ -u64 os_get_nsec(void); +uint64_t os_get_nsec(void); /** * Parse arguments and update sandbox state. |