tree b06b61433e05e2a5a5a731dc305e39f2bc9da8f2
parent 06d3043edf40d9b4c63e905b84f38c20e71839d3
author Thibaut Pérami <thibautp@google.com> 1690976783 +0000
committer Thibaut Pérami <thibautp@google.com> 1690976783 +0000

KVM: arm64: pkvm_proxy: add helpers needed to run a VCPU

Change-Id: Ifbfd0721773147cc54613c7455b78d9c02f119b7