commit ff29edcc716eacded57bc70f2aba0c4ca5d00a60
author Eran Messeri <eranm@google.com> Tue Jun 19 17:12:04 2018 +0100
committer Keun Soo Yim <yim@google.com> Tue Aug 28 15:08:39 2018 -0700
tree aa5fb0c309c91d748bf958a452f33d9fb5467649
parent 0b1461687f42b36e0ee281e48981abf2a51eec63

Fixing Keymaster documentation.

Keymaster HAL documentation documents the bootPatchLevel as having
tag 718, while types.hal indicates the tag value for it is actually
719.

Test: N/A
Bug: 78104779
Merged-In: I0dde0b3c863081f2594e20466d8e82866a5f2d2e
Change-Id: I0dde0b3c863081f2594e20466d8e82866a5f2d2e
(cherry picked from commit ae8da1b70ad563edb79f4f7429b704b54c1a9e19)

keymaster/4.0/IKeymasterDevice.hal

diff --git a/keymaster/4.0/IKeymasterDevice.hal b/keymaster/4.0/IKeymasterDevice.hal
index 74d13d8..85a25c6 100644
--- a/keymaster/4.0/IKeymasterDevice.hal
+++ b/keymaster/4.0/IKeymasterDevice.hal
@@ -753,7 +753,7 @@
      *     attestationIdManufacturer  [716] EXPLICIT OCTET_STRING OPTIONAL,
      *     attestationIdModel         [717] EXPLICIT OCTET_STRING OPTIONAL,
      *     vendorPatchLevel           [718] EXPLICIT INTEGER OPTIONAL,
-     *     bootPatchLevel             [718] EXPLICIT INTEGER OPTIONAL,
+     *     bootPatchLevel             [719] EXPLICIT INTEGER OPTIONAL,
      * }
      *
      * The above schema is mostly a straightforward translation of the IKeymasterDevice tag/value