third-party-mirror / u-boot / 4c0d4c3b782ef278f5843eb2533e03b9c4c16e21 / lib_microblaze / time.c