Re: [PATCH v21 05/23] KVM: arm64: Track the type of VM in kvm_arch

[Suzuki K Poulose]

On 02/10/2026 14:05, Fuad Tabba wrote:
> Hi Marc,
>
> On Fri, 02 Oct 2026 13:57:11 +0100, Marc Zyngier <maz@xxxxxxxxxx> wrote:
> [...]
> > Just to make sure. Is that what you had in mind?
>
> A diff is worth a thousand words :) Yes, that's it. With that, every
> remaining hyp user of vcpu_is_protected() only runs with pKVM, so the
> kern_hyp_va() case in the macro can go too.

Ack ! That does make things simpler. Marc beat me to it.

Cheers
Suzuki

> Cheers,
> /fuad