On 31.03.2021 12:32, Roger Pau Monne wrote: > EOIs are always executed in guest vCPU context, so there's no reason to > pass a vCPU parameter around as can be fetched from current. > > While there make the vector parameter of both callbacks unsigned int. > > No functional change intended. > > Suggested-by: Paul Durrant <pdurr...@amazon.com> > Signed-off-by: Roger Pau Monné <roger....@citrix.com> > Reviewed-by: Paul Durrant <p...@xen.org> > --- > Changes since v1: > - New in this version.
I'm afraid the situation with viridian_synic_wrmsr() hasn't changed since v2, and hence my previous comment still applies. Jan