On 11.08.2023 09:19, Nicola Vetrini wrote: > --- a/xen/drivers/video/vga.c > +++ b/xen/drivers/video/vga.c > @@ -9,6 +9,7 @@ > #include <xen/mm.h> > #include <xen/param.h> > #include <xen/vga.h> > +#include <xen/console.h>
xen/vga.h, which you move the declarations to, is already included here. Why the need for xen/console.h? Jan