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 <[email protected]>
Reviewed-by: Andrew Cooper <[email protected]>
