On Wed, Jul 2, 2025 at 4:11 PM Jan Beulich <jbeul...@suse.com> wrote: > > --- a/xen/include/xen/sched.h > > +++ b/xen/include/xen/sched.h > > @@ -619,6 +619,8 @@ struct domain > > unsigned int guest_request_sync : 1; > > } monitor; > > > > + unsigned int nr_altp2m; /* Number of altp2m tables. */ > > We may have had that discussion earlier on, but it has been too long ago now: > Why is this not an x86-only field (i.e. in struct arch_domain)? Or one > dependent upon CONFIG_ALTP2M?
altp2m is not architecture specific. Though having it guarded with CONFIG_ALTP2M is a good idea. Of course, each of its ~40 usages (that is outside of altp2m.c) would have to be guarded, too. P.