VCPU_HASHED
if (!try_cmpxchg_relaxed(&pn->state, &old, VCPU_HASHED))
if (READ_ONCE(pn->state) == VCPU_HASHED)
WRITE_ONCE(pn->state, VCPU_HASHED);