|
@@ -88,9 +88,6 @@ void __init save_area_add_regs(struct save_area *, void *regs);
|
|
|
void __init save_area_add_vxrs(struct save_area *, __vector128 *vxrs);
|
|
|
|
|
|
extern void s390_reset_system(void);
|
|
|
-extern void do_reipl(void);
|
|
|
-extern void do_halt(void);
|
|
|
-extern void do_poff(void);
|
|
|
extern void ipl_store_parameters(void);
|
|
|
extern size_t append_ipl_vmparm(char *, size_t);
|
|
|
extern size_t append_ipl_scpdata(char *, size_t);
|