From 6355155f51d4b636a228b75d82ebbdc706174ae7 Mon Sep 17 00:00:00 2001
From: Anup Patel <anup.patel@wdc.com>
Date: Wed, 15 Sep 2021 08:51:42 +0530
Subject: 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 | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/lib/sbi/sbi_init.c b/lib/sbi/sbi_init.c
index 6ef8742..f0eb365 100644
--- a/lib/sbi/sbi_init.c
+++ b/lib/sbi/sbi_init.c
@@ -75,8 +75,9 @@ static void sbi_boot_print_general(struct sbi_scratch *scratch)
sbi_printf("Platform IPI Device : %s\n",
(idev) ? idev->name : "---");
tdev = sbi_timer_get_device();
- sbi_printf("Platform Timer Device : %s\n",
- (tdev) ? tdev->name : "---");
+ sbi_printf("Platform Timer Device : %s @ %luHz\n",
+ (tdev) ? tdev->name : "---",
+ (tdev) ? tdev->timer_freq : 0);
cdev = sbi_console_get_device();
sbi_printf("Platform Console Device : %s\n",
(cdev) ? cdev->name : "---");
--
cgit v1.2.3