On 11/06/2025 11:42 am, Jan Beulich wrote: > Let's avoid such open-coding. There's also no need to use > guest_cpu_user_regs(), when the function has a suitable parameter. > > Signed-off-by: Jan Beulich <jbeul...@suse.com>
Reviewed-by: Andrew Cooper <andrew.coop...@citrix.com>
