arch_def.h is needed for struct psw.
stdint.h is needed for the uint*_t types.

Signed-off-by: Janosch Frank <frankja@linux.ibm.com>
---
  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