Re: [U-Boot] [U-Boot,04/10] Use uint64_t for time types