tree d4ed6bf83a7ebe00550c5412b9df95dd4f9e9900
parent 55c4d8b8c0353b0b55afc78a944e2291ee9f8e7f
author Andrew Walbran <qwandor@google.com> 1545071868 +0000
committer Andrew Walbran <qwandor@google.com> 1545225953 +0000

Documenting return codes of hf_vcpu_run.

Change-Id: I7fbecd38b6bfbab1c87edfdc5a3a1c441ca3f62f