soc/intel/*/meminit.c: Fix formatted print
This fixes building with clang. Change-Id: If2686b0938d34cd66393eb14205c5c8a5b3ba98b Signed-off-by: Arthur Heymans <arthur@aheymans.xyz> Reviewed-on: https://review.coreboot.org/c/coreboot/+/63052 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Elyes Haouas <ehaouas@noos.fr>
This commit is contained in:
parent
0212cd09d3
commit
d400d497fb
|
@ -12,7 +12,7 @@ static void spd_read_from_cbfs(const struct spd_info *spd_info, uintptr_t *spd_d
|
|||
{
|
||||
size_t spd_index = spd_info->spd_spec.spd_index;
|
||||
|
||||
printk(BIOS_DEBUG, "SPD INDEX = %lu\n", spd_index);
|
||||
printk(BIOS_DEBUG, "SPD INDEX = %zu\n", spd_index);
|
||||
|
||||
/* Memory leak is ok since we have memory mapped boot media */
|
||||
assert(CONFIG(BOOT_DEVICE_MEMORY_MAPPED));
|
||||
|
|
|
@ -12,7 +12,7 @@ static void spd_read_from_cbfs(const struct spd_info *spd_info, uintptr_t *spd_d
|
|||
{
|
||||
size_t spd_index = spd_info->spd_spec.spd_index;
|
||||
|
||||
printk(BIOS_DEBUG, "SPD INDEX = %lu\n", spd_index);
|
||||
printk(BIOS_DEBUG, "SPD INDEX = %zu\n", spd_index);
|
||||
|
||||
/* Memory leak is ok since we have memory mapped boot media */
|
||||
assert(CONFIG(BOOT_DEVICE_MEMORY_MAPPED));
|
||||
|
|
Loading…
Reference in New Issue