tree 0ff441d7a55edf0bae0a7b052b82f99ade057c37
parent e05702ed670317545b11ee8e03f4616a029f6a18
author Wedson Almeida Filho <wedsonaf@google.com> 1547241848 +0000
committer Wedson Almeida Filho <wedsonaf@google.com> 1547570467 +0000

Add support for new vcpu_run and mailbox_clear return values.

Change-Id: Ia5723b83f8c279d94a42abb2d46aa4dfc8a9e6b7