Index: src/platform/vboot_reference/vboot_firmware/include/rollback_index.h |
diff --git a/src/platform/vboot_reference/vboot_firmware/include/rollback_index.h b/src/platform/vboot_reference/vboot_firmware/include/rollback_index.h |
index d4e47ac893c267c5c27552575f4d3ea6d0fd98fa..2633ab7513b4b878c8b553759c4ec82c844ea6f5 100644 |
--- a/src/platform/vboot_reference/vboot_firmware/include/rollback_index.h |
+++ b/src/platform/vboot_reference/vboot_firmware/include/rollback_index.h |
@@ -31,6 +31,7 @@ extern uint16_t g_kernel_version; |
void SetupTPM(void); |
uint16_t GetStoredVersion(int type); |
int WriteStoredVersion(int type, uint16_t version); |
-void LockStoredVersion(int type); |
+void LockFirmwareVersions(); |
+void LockKernelVersionsByLockingPP(); |
#endif /* VBOOT_REFERENCE_ROLLBACK_INDEX_H_ */ |