diff options
| -rw-r--r-- | hw/arm/exynos4_boards.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/hw/arm/exynos4_boards.c b/hw/arm/exynos4_boards.c index d644db1..3f88c4a 100644 --- a/hw/arm/exynos4_boards.c +++ b/hw/arm/exynos4_boards.c @@ -100,8 +100,7 @@ static Exynos4210State *exynos4_boards_init_common(MachineState *machine, if (smp_cpus != EXYNOS4210_NCPUS && !qtest_enabled()) { fprintf(stderr, "%s board supports only %d CPU cores. Ignoring smp_cpus" " value.\n", - exynos4_machines[board_type].name, - exynos4_machines[board_type].max_cpus); + exynos4_machines[board_type].name, EXYNOS4210_NCPUS); } exynos4_board_binfo.ram_size = exynos4_board_ram_size[board_type]; |