Hi Luca, On 27/09/2023 15:01, Luca Fancellu wrote:
The 'enum domain_type' is defined by 'asm/domain.h' which is not included (directly or indirectly) by 'asm/kernel.h'.This currently doesn't break the compilation because asm/domain.h will included by the user of 'kernel.h'. But it would be better to avoid relying on it. So add the include in 'asm/domain.h'. Signed-off-by: Luca Fancellu <[email protected]>
Acked-by: Julien Grall <[email protected]> Cheers, -- Julien Grall
