| 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].
|
| *
|
|
|