Change-Id: I195ea15ddbc725091e32191fac3b84d01b456580
Signed-off-by: Patrick Georgi <patrick@georgi-clan.de>
Reviewed-on: http://review.coreboot.org/410
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
#if CONFIG_MAX_CPUS >= 16
apicid_sp5100 = 0x0;
#else
#if CONFIG_MAX_CPUS >= 16
apicid_sp5100 = 0x0;
#else
- apicid_sp5100 = CONFIG_MAX_CPUS + 1
+ apicid_sp5100 = CONFIG_MAX_CPUS + 1;
#endif
apicid_sr5650 = apicid_sp5100 + 1;
#endif
apicid_sr5650 = apicid_sp5100 + 1;