diff options
| -rw-r--r-- | lib/sbi/sbi_domain.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/sbi/sbi_domain.c b/lib/sbi/sbi_domain.c index 88d25deb..4e9f7428 100644 --- a/lib/sbi/sbi_domain.c +++ b/lib/sbi/sbi_domain.c @@ -815,8 +815,7 @@ int sbi_domain_init(struct sbi_scratch *scratch, u32 cold_hartid) /* Root domain possible and assigned HARTs */ for (i = 0; i < plat->hart_count; i++) - sbi_hartmask_set_hartid(sbi_hartindex_to_hartid(i), - root_hmask); + sbi_hartmask_set_hartindex(i, root_hmask); /* Finally register the root domain */ rc = sbi_domain_register(&root, root_hmask); |