Alexandru Gagniuc (mr.nuke.me@gmail.com) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/13334
-gerrit
commit c224b8482f2542c7014df356ae758ba7b929241b Author: Lance Zhao lijian.zhao@intel.com Date: Wed Nov 4 11:37:40 2015 -0800
drivers/intel/fsp2_0: Fix build warning for FSP header printing
Debug print change the print type of image_base from size_t to uintptr_t
Change-Id: I911ea9f37c7c6f8e7ecd79bef9ebf68a8960788f Signed-off-by: Lance Zhao lijian.zhao@intel.com --- src/drivers/intel/fsp2_0/util.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/drivers/intel/fsp2_0/util.c b/src/drivers/intel/fsp2_0/util.c index 4e1dbf3..e1b77a8 100644 --- a/src/drivers/intel/fsp2_0/util.c +++ b/src/drivers/intel/fsp2_0/util.c @@ -56,7 +56,7 @@ enum cb_err fsp_identify(struct fsp_header *hdr, const void *fsp_blob)
void fsp_print_header_info(const struct fsp_header *hdr) { - printk(BIOS_DEBUG, "Revision %u, image ID: %s, base 0x%zx + 0x%zx\n", + printk(BIOS_DEBUG, "Revision %u, image ID: %s, base 0x%lx + 0x%zx\n", hdr->revision ,hdr->image_id, hdr->image_base, hdr->image_size);
printk(BIOS_DEBUG, "\tConfig region 0x%zx + 0x%zx\n",