279 	union ipte_control old, new, *ic;  in ipte_lock_simple()  local
287 	ic = kvm_s390_get_ipte_control(vcpu->kvm);  in ipte_lock_simple()
289 		old = READ_ONCE(*ic);  in ipte_lock_simple()
297 	} while (cmpxchg(&ic->val, old.val, new.val) != old.val);  in ipte_lock_simple()
305 	union ipte_control old, new, *ic;  in ipte_unlock_simple()  local
312 	ic = kvm_s390_get_ipte_control(vcpu->kvm);  in ipte_unlock_simple()
314 		old = READ_ONCE(*ic);  in ipte_unlock_simple()
317 	} while (cmpxchg(&ic->val, old.val, new.val) != old.val);  in ipte_unlock_simple()
326 	union ipte_control old, new, *ic;  in ipte_lock_siif()  local
330 	ic = kvm_s390_get_ipte_control(vcpu->kvm);  in ipte_lock_siif()
332 		old = READ_ONCE(*ic);  in ipte_lock_siif()
341 	} while (cmpxchg(&ic->val, old.val, new.val) != old.val);  in ipte_lock_siif()
347 	union ipte_control old, new, *ic;  in ipte_unlock_siif()  local
350 	ic = kvm_s390_get_ipte_control(vcpu->kvm);  in ipte_unlock_siif()
352 		old = READ_ONCE(*ic);  in ipte_unlock_siif()
357 	} while (cmpxchg(&ic->val, old.val, new.val) != old.val);  in ipte_unlock_siif()