diff options
| -rw-r--r-- | lib/sbi/sbi_domain.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/sbi/sbi_domain.c b/lib/sbi/sbi_domain.c index 4f458ac0..7030848d 100644 --- a/lib/sbi/sbi_domain.c +++ b/lib/sbi/sbi_domain.c @@ -541,7 +541,7 @@ void sbi_domain_dump(const struct sbi_domain *dom, const char *suffix) sbi_printf("Domain%d HARTs %s: ", dom->index, suffix); sbi_hartmask_for_each_hartindex(i, dom->possible_harts) { j = sbi_hartindex_to_hartid(i); - sbi_printf("%s%d%s", (k++) ? "," : "", + sbi_printf("%s0x%x%s", (k++) ? "," : "", j, sbi_domain_is_assigned_hart(dom, i) ? "*" : ""); } sbi_printf("\n"); |