gerrit-public.fairphone.software / platform / external / arm-trusted-firmware / 5698c5b3db083b70645ebd288a6957fe590a1d53 / drivers / delay_timer