On 04.09.2024 17:31, Roger Pau Monne wrote: > Move the current code in get_wallclock_time() to fetch the Xen wallclock > information from the shared page when running as a guest into a separate > helper. > > No functional change intended. > > Signed-off-by: Roger Pau Monné <roger....@citrix.com>
Acked-by: Jan Beulich <jbeul...@suse.com> Still ... > --- a/xen/arch/x86/time.c > +++ b/xen/arch/x86/time.c > @@ -787,6 +787,30 @@ static struct platform_timesource __initdata_cf_clobber > plt_xen_timer = > }; > #endif > > +static unsigned long read_xen_wallclock(void) > +{ > +#ifdef CONFIG_XEN_GUEST > + struct shared_info *sh_info = XEN_shared_info; ... I'd like to switch this to pointer-to-const while committing, if okay with you. Jan