On 22/03/2023 9:36 am, Jan Beulich wrote: > With an initial mode installed by shadow_vcpu_init(), there's no need > for sh_update_paging_modes() to deal with the "mode is still unset" > case. Leave an assertion, though. > > Signed-off-by: Jan Beulich <jbeul...@suse.com>
Reviewed-by: Andrew Cooper <andrew.coop...@citrix.com>
