On Tue, 29 Jun 2021 13:33:18 +0000 Janosch Frank <frankja@xxxxxxxxxxxxx> wrote: > arch_def.h is needed for struct psw. > stdint.h is needed for the uint*_t types. > > Signed-off-by: Janosch Frank <frankja@xxxxxxxxxxxxx> Reviewed-by: Claudio Imbrenda <imbrenda@xxxxxxxxxxxxx> > --- > lib/s390x/sie.h | 3 +++ > 1 file changed, 3 insertions(+) > > diff --git a/lib/s390x/sie.h b/lib/s390x/sie.h > index db30d61..b4bb78c 100644 > --- a/lib/s390x/sie.h > +++ b/lib/s390x/sie.h > @@ -2,6 +2,9 @@ > #ifndef _S390X_SIE_H_ > #define _S390X_SIE_H_ > > +#include <stdint.h> > +#include <asm/arch_def.h> > + > #define CPUSTAT_STOPPED 0x80000000 > #define CPUSTAT_WAIT 0x10000000 > #define CPUSTAT_ECALL_PEND 0x08000000