Index: src/platform/vboot_reference/vkernel/include/kernel_image.h |
diff --git a/src/platform/vboot_reference/vkernel/include/kernel_image.h b/src/platform/vboot_reference/vkernel/include/kernel_image.h |
index 09343ea14e4ea5618d1e1d8d868fad0409c8906b..5c14e45be156b26668e38189f0d13882669c36e5 100644 |
--- a/src/platform/vboot_reference/vkernel/include/kernel_image.h |
+++ b/src/platform/vboot_reference/vkernel/include/kernel_image.h |
@@ -115,6 +115,4 @@ int AddKernelKeySignature(KernelImage* image, const char* firmware_key_file); |
int AddKernelSignature(KernelImage* image, |
const char* kernel_sigining_key_file); |
-void PrintKernelEntry(kernel_entry* entry); |
- |
#endif /* VBOOT_REFERENCE_KERNEL_IMAGE_H_ */ |