Searched refs:ipl_device (Results 1 – 6 of 6) sorted by relevance
250 reipl(S390_lowcore.ipl_device); in do_machine_restart_nonsmp()459 lowcore->ipl_device = S390_lowcore.ipl_device; in setup_arch()
304 reipl(S390_lowcore.ipl_device); in do_machine_restart()
362 reipl(S390_lowcore.ipl_device); in do_machine_restart_nonsmp()600 lowcore->ipl_device = S390_lowcore.ipl_device; in setup_arch()
302 reipl(S390_lowcore.ipl_device); in do_machine_restart()
164 __u32 ipl_device; /* 0xc7c */ member
162 __u32 ipl_device; /* 0xdb8 */ member