diff --git a/include/sbi_utils/fdt/fdt_helper.h b/include/sbi_utils/fdt/fdt_helper.h index a9c0a8a1..74ea2340 100644 --- a/include/sbi_utils/fdt/fdt_helper.h +++ b/include/sbi_utils/fdt/fdt_helper.h @@ -52,7 +52,7 @@ bool fdt_node_is_enabled(void *fdt, int nodeoff); int fdt_parse_hart_id(void *fdt, int cpu_offset, u32 *hartid); -int fdt_parse_max_hart_id(void *fdt, u32 *max_hartid); +int fdt_parse_max_enabled_hart_id(void *fdt, u32 *max_hartid); int fdt_parse_timebase_frequency(void *fdt, unsigned long *freq); diff --git a/lib/utils/fdt/fdt_helper.c b/lib/utils/fdt/fdt_helper.c index 5db3fbe3..2bdb1ef2 100644 --- a/lib/utils/fdt/fdt_helper.c +++ b/lib/utils/fdt/fdt_helper.c @@ -262,7 +262,7 @@ int fdt_parse_hart_id(void *fdt, int cpu_offset, u32 *hartid) return 0; } -int fdt_parse_max_hart_id(void *fdt, u32 *max_hartid) +int fdt_parse_max_enabled_hart_id(void *fdt, u32 *max_hartid) { u32 hartid; int err, cpu_offset, cpus_offset;