vcpu_halted       320 kernel/locking/qspinlock_paravirt.h 		smp_store_mb(pn->state, vcpu_halted);
vcpu_halted       325 kernel/locking/qspinlock_paravirt.h 			pv_wait(&pn->state, vcpu_halted);
vcpu_halted       333 kernel/locking/qspinlock_paravirt.h 		cmpxchg(&pn->state, vcpu_halted, vcpu_running);
vcpu_halted       380 kernel/locking/qspinlock_paravirt.h 	if (cmpxchg_relaxed(&pn->state, vcpu_halted, vcpu_hashed)
vcpu_halted       381 kernel/locking/qspinlock_paravirt.h 	    != vcpu_halted)