Re: [PATCH 01/10] static-evtchn: Add missing include

[Stefano Stabellini <sstabellini@xxxxxxxxxx>]

On Tue, 22 Jul 2025, Alejandro Vallejo wrote:
> On Tue Jul 22, 2025 at 2:10 PM CEST, Jan Beulich wrote:
> > On 22.07.2025 13:59, Alejandro Vallejo wrote:
> >> From: Alejandro Vallejo <agarciav@xxxxxxx>
> >> 
> >> When later on x86 starts using this file in later patches it won't find
> >> device_tree.h because it's only transitively included by arm.
> >> 
> >> Make it explicit.
> >> 
> >> Not a functional change.
> >> 
> >> Signed-off-by: Alejandro Vallejo <alejandro.garciavallejo@xxxxxxx>
> >> Acked-by: Stefano Stabellini <stefano.stabellini@xxxxxxx>
> >> Reviewed-by: Jason Andryuk <jason.andryuk@xxxxxxx>
> >
> > I'm certainly happy to trust you, but on a v1 submission I'm a little
> > surprised to find two tags present already.
> >
> > Jan
> 
> They came out of internal review, and I didn't really want to drop them.

I confirm