Index: src/platform/vboot_reference/include/file_keys.h |
diff --git a/src/platform/vboot_reference/include/file_keys.h b/src/platform/vboot_reference/include/file_keys.h |
index f1f38cc9065dfdd0721acba8dcfe35810a81289d..6e3851c8c0404c5623efe27223727a4f1a8506cd 100644 |
--- a/src/platform/vboot_reference/include/file_keys.h |
+++ b/src/platform/vboot_reference/include/file_keys.h |
@@ -16,7 +16,7 @@ |
* Returns a pointer to the buffer. Caller owns the returned pointer and |
* must free it. |
*/ |
-uint8_t* BufferFromFile(const char* input_file, uint32_t* len); |
+uint8_t* BufferFromFile(const char* input_file, uint64_t* len); |
/* Read a pre-processed RSA Public Key from file [input_file]. |
* |