From 6355155f51d4b636a228b75d82ebbdc706174ae7 Mon Sep 17 00:00:00 2001 From: Anup Patel Date: Wed, 15 Sep 2021 08:51:42 +0530 Subject: [PATCH] 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 Reviewed-by: Bin Meng Reviewed-by: Xiang W --- 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 : "---"); -- 2.7.4