12 Sep
2025
12 Sep
'25
5:14 p.m.
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*