Searched refs:restart_psw (Results 1 – 5 of 5) sorted by relevance
20 psw_t restart_psw; /* 0x01a0 */ member78 .restart_psw = { .mask = 0, .addr = IPL_START, },
297 unsigned long restart_psw = 0x0008000080000000UL; in kexec_file_add_components() local298 restart_psw += image->start; in kexec_file_add_components()299 memcpy(data.kernel_buf, &restart_psw, sizeof(restart_psw)); in kexec_file_add_components()
403 lc->restart_psw.mask = PSW_KERNEL_BITS & ~PSW_MASK_DAT; in setup_lowcore()404 lc->restart_psw.addr = __pa(restart_int_handler); in setup_lowcore()461 abs_lc->restart_psw = lc->restart_psw; in setup_lowcore()
93 psw_t restart_psw; /* 0x01a0 */ member
731 rc |= read_guest_lc(vcpu, offsetof(struct lowcore, restart_psw), in __deliver_restart()