lib: sbi: Print timer frequency at boot time
authorAnup Patel <anup.patel@wdc.com>
Wed, 15 Sep 2021 03:21:42 +0000 (08:51 +0530)
committerAnup Patel <anup@brainfault.org>
Sun, 26 Sep 2021 14:22:12 +0000 (19:52 +0530)
commit6355155f51d4b636a228b75d82ebbdc706174ae7
treef4343a0d7667af801cd33c7e6315eac4590d50fd
parent12e7af9ab7ef9adf61b9138e2c38e3aeef3c140b
lib: sbi: Print timer frequency at boot time

We now have frequency in timer device instance provided by platform
so let's print timer frequency as part of the boot prints.

Signed-off-by: Anup Patel <anup.patel@wdc.com>
Reviewed-by: Bin Meng <bmeng.cn@gmail.com>
Reviewed-by: Xiang W <wxjstz@126.com>
lib/sbi/sbi_init.c