On Thu, Apr 08, 2021, Kai Huang wrote: > On Wed, 7 Apr 2021 22:16:59 +0000 Sean Christopherson wrote: > > On Thu, Apr 08, 2021, Kai Huang wrote: > > > +int handle_encls(struct kvm_vcpu *vcpu) > > > +{ > > > + u32 leaf = (u32)vcpu->arch.regs[VCPU_REGS_RAX]; > > > > Please use kvm_rax_read(), I've been trying to discourage direct access to the > > array. Which is ironic because I'm 100% certain I'm to blame for this. :-) > > Sure. But I think still, we should convert it to (u32) explicitly, so: > > u32 leaf = (u32)kvm_rax_read(vcpu); > > ? Ya, agreed, it helps document that it's deliberate.