tree c95f4026e70d6082425f78a0662e20ae569c3e03
parent 9dd859f2b3727a5d2cb206fcba8483ae695a62af
author Andrew Walbran <qwandor@google.com> 1561541808 +0100
committer Andrew Walbran <qwandor@google.com> 1562151336 +0100

Remove unused HF_INVALID_VM_ID and fix documentation.

Change-Id: I3ea7c1397103135f41fc33f1b34118fa0a79c9f8