diff --git a/src/lib/gcov-glue.c b/src/lib/gcov-glue.c
index 7c069cbbca..4e2b2908b3 100644
--- a/src/lib/gcov-glue.c
+++ b/src/lib/gcov-glue.c
@@ -84,7 +84,7 @@ static int fseek(FILE *stream, long offset, int whence)
 	 * to a freshly opened file. */
 	gcc_assert (offset == 0 && whence == SEEK_SET);
 #if CONFIG_DEBUG_COVERAGE
-	printk(BIOS_DEBUG, "fseek %s offset=%d whence=%d\n",
+	printk(BIOS_DEBUG, "fseek %s offset=%ld whence=%d\n",
 		stream->filename, offset, whence);
 #endif
 	return 0;