tree e39bd42683117375b59175cdc0199776de414e33
parent 379aa72bdeb9bd3594a870df35c20291c85c9573
author Andrew Walbran <qwandor@google.com> 1570117511 +0100
committer Andrew Walbran <qwandor@google.com> 1570455170 +0100

Return message size in hf_vcpu_run_return for HF_VCPU_RUN_MESSAGE.

Bug: 141469322
Change-Id: I25ba5051af57718c0bf18aad3a22f129c9c859e6