Searched refs:newpsw (Results 1 – 1 of 1) sorted by relevance
283 psw_t newpsw; in handle_external_interrupt() local288 rc = read_guest_lc(vcpu, __LC_EXT_NEW_PSW, &newpsw, sizeof(psw_t)); in handle_external_interrupt()293 (newpsw.mask & PSW_MASK_EXT)) in handle_external_interrupt()431 psw_t oldpsw, newpsw; in handle_operexc() local443 rc = read_guest_lc(vcpu, __LC_PGM_NEW_PSW, &newpsw, sizeof(psw_t)); in handle_operexc()455 if (oldpsw.addr - newpsw.addr <= 6 && in handle_operexc()456 !(newpsw.mask & PSW_MASK_WAIT) && in handle_operexc()458 (newpsw.mask & PSW_MASK_ASC) == (oldpsw.mask & PSW_MASK_ASC) && in handle_operexc()459 (newpsw.mask & PSW_MASK_DAT) == (oldpsw.mask & PSW_MASK_DAT)) in handle_operexc()