On Mon, Sep 13, 2021 at 4:10 PM Raghavendra Rao Ananta
[off-list ref] wrote:
At times, such as when in the interrupt handler, the guest wants
to get the vcpuid that it's running on to pull the per-cpu private
data. As a result, introduce guest_get_vcpuid() that returns the
vcpuid of the calling vcpu. The interface is architecture
independent, but defined only for arm64 as of now.
Suggested-by: Reiji Watanabe <redacted>
Signed-off-by: Raghavendra Rao Ananta <redacted>
Reviewed-by: Ricardo Koller <redacted>
Reviewed-by: Reiji Watanabe <redacted>
Thank you for creating this utility !
Reiji
_______________________________________________
linux-arm-kernel mailing list
linux-arm-kernel@lists.infradead.org
http://lists.infradead.org/mailman/listinfo/linux-arm-kernel