Searched defs:restart_psw (Results 1 – 3 of 3) sorted by relevance
20 psw_t restart_psw; /* 0x01a0 */ member
286 unsigned long restart_psw = 0x0008000080000000UL; in kexec_file_add_components() local
87 psw_t restart_psw; /* 0x01a0 */ member