Index: src/platform/vboot_reference/vboot_firmware/include/kernel_image_fw.h |
diff --git a/src/platform/vboot_reference/vboot_firmware/include/kernel_image_fw.h b/src/platform/vboot_reference/vboot_firmware/include/kernel_image_fw.h |
index db2550dbb1a980884121b3176792d97a40afc62a..a1a3ba55db447c17ae7c413cbe58e6d435a3c178 100644 |
--- a/src/platform/vboot_reference/vboot_firmware/include/kernel_image_fw.h |
+++ b/src/platform/vboot_reference/vboot_firmware/include/kernel_image_fw.h |
@@ -141,7 +141,7 @@ int VerifyKernelHeader(const uint8_t* firmware_key_blob, |
const uint8_t* kernel_header_blob, |
uint64_t kernel_header_blob_len, |
const int dev_mode, |
- KernelImage *image, |
+ KernelImage* image, |
RSAPublicKey** kernel_sign_key); |
/* Performs a chained verify of the kernel blob [kernel_blob]. If |