Re: [U-Boot-Users] get_timer documentation