diff options
| author | Anup Patel <anup.patel@wdc.com> | 2021-09-15 08:51:42 +0530 |
|---|---|---|
| committer | Anup Patel <anup@brainfault.org> | 2021-09-26 19:52:12 +0530 |
| commit | 6355155f51d4b636a228b75d82ebbdc706174ae7 (patch) | |
| tree | f4343a0d7667af801cd33c7e6315eac4590d50fd | |
| parent | 12e7af9ab7ef9adf61b9138e2c38e3aeef3c140b (diff) | |
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>
| -rw-r--r-- | lib/sbi/sbi_init.c | 5 |
1 files 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 : "---"); |