On 31.07.2025 21:21, dm...@proton.me wrote: > --- a/xen/include/xen/sched.h > +++ b/xen/include/xen/sched.h > @@ -652,6 +652,8 @@ struct domain > unsigned int *llc_colors; > #endif > > + uint32_t emulation_flags;
Just one further remark: The field probably never should have been of this type; unsigned int will do, and imo will want switching to while the field is being moved. (Before giving an x86 ack, I want to convince myself though that this is moving us in the right direction.) Jan