Searched refs:newpsw (Results 1 – 1 of 1) sorted by relevance
256 psw_t newpsw; in handle_external_interrupt() local261 rc = read_guest_lc(vcpu, __LC_EXT_NEW_PSW, &newpsw, sizeof(psw_t)); in handle_external_interrupt()266 (newpsw.mask & PSW_MASK_EXT)) in handle_external_interrupt()