Searched refs:restart_psw (Results 1 – 2 of 2) sorted by relevance
95 psw_t restart_psw; /* 0x01a0 */ member
701 rc |= read_guest_lc(vcpu, offsetof(struct lowcore, restart_psw), in __deliver_restart()