Index: firmware/lib/include/rollback_index.h |
diff --git a/firmware/lib/include/rollback_index.h b/firmware/lib/include/rollback_index.h |
index 0e630dbb8cf420573fd35cc9e1b5190888595459..7db85150d43aafec3f0a4572cb58380b7debf0c0 100644 |
--- a/firmware/lib/include/rollback_index.h |
+++ b/firmware/lib/include/rollback_index.h |
@@ -94,6 +94,11 @@ uint32_t RollbackS3Resume(void); |
* mode. */ |
uint32_t RollbackFirmwareSetup(int developer_mode, uint32_t* version); |
+/* Read may be called to get the version. This is not necessary in |
+ * the normal boot path, because RollbackFirmwareSetup() provides the |
+ * same information. It may be used in the recovery path. */ |
+uint32_t RollbackFirmwareRead(uint32_t* version); |
+ |
/* Write may be called if the versions change */ |
uint32_t RollbackFirmwareWrite(uint32_t version); |
@@ -109,8 +114,7 @@ uint32_t RollbackFirmwareLock(void); |
* mode. */ |
uint32_t RollbackKernelRecovery(int developer_mode); |
-/* Read and write may be called if not in developer mode. If called in |
- * recovery mode, the effect is undefined. */ |
+/* Read and write may be called to read and write the kernel version. */ |
uint32_t RollbackKernelRead(uint32_t* version); |
uint32_t RollbackKernelWrite(uint32_t version); |