tree ca392f91de99bdc044cddac270b684b1d4c1f795
parent c2e5e802ecb7ab668ce9911b210ed68c804b349f
author Simon Glass <sjg@chromium.org> 1369007135 -0700
committer Simon Glass <sjg@chromium.org> 1385078065 -0700

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>