Index: src/platform/vboot_reference/include/kernel_image.h |
diff --git a/src/platform/vboot_reference/include/kernel_image.h b/src/platform/vboot_reference/include/kernel_image.h |
index 7c7b16f17e04770f7b108541220d91c57714f750..b1e7899dad58b661007df6234722608efbe3a2f1 100644 |
--- a/src/platform/vboot_reference/include/kernel_image.h |
+++ b/src/platform/vboot_reference/include/kernel_image.h |
@@ -106,7 +106,7 @@ uint8_t* GetKernelConfigBlob(const KernelImage* image); |
* |
* Caller owns the returned pointer and must Free() it. |
*/ |
-uint8_t* GetKernelBlob(const KernelImage* image, int* blob_len); |
+uint8_t* GetKernelBlob(const KernelImage* image, uint64_t* blob_len); |
/* Write kernel data from [image] to a file named [input_file]. |
* |