On Fri, Sep 12, 2025 at 05:33:39PM +0100, Mark Brown wrote:
> On Fri, Sep 12, 2025 at 12:59:23PM +0100, Marc Zyngier wrote:

> > Just like the previous version, you're missing the accessors that
> > would be this table useful. Meaning that the vcpu_read_sys_reg() and
> > vcpu_write_sys_reg() accessors will fail for all 4 GSC registers.

> Just to confirm, this is __vcpu_{read,write}_sysreg()?

Sorry, that should have been __vcpu_{read,write}_sys_reg_{to,from}_cpu()
*sigh*

Attachment: signature.asc
Description: PGP signature

Reply via email to