diff --git a/include/boot/s390.h b/include/boot/s390.h
index eeef87f1..4be4dc8b 100644
--- a/include/boot/s390.h
+++ b/include/boot/s390.h
@@ -40,8 +40,6 @@
 	".long	(" #_target ")\n"	\
 	".previous\n"
 
-void load_wait_psw(uint64_t, struct psw_t *);
-
 struct subchannel_id {
 	uint32_t cssid:8;
 	uint32_t:4;
diff --git a/zipl/boot/libc.h b/zipl/boot/libc.h
index 93e1ed2e..47984078 100644
--- a/zipl/boot/libc.h
+++ b/zipl/boot/libc.h
@@ -15,6 +15,7 @@
 #include <stddef.h>
 
 #include "lib/zt_common.h"
+#include "boot/psw.h"
 
 #define EPERM		 1	/* Operation not permitted */
 #define ENOENT		 2	/* No such file or directory */
@@ -65,6 +66,7 @@ void __noreturn start(void);
 void pgm_check_handler(void);
 void pgm_check_handler_fn(void);
 void panic_notify(unsigned long reason);
+void load_wait_psw(uint64_t, struct psw_t *);
 
 #define panic(reason, ...)			\
 	do {					\