I don't think this is sufficient to actually remove a vcpu from the vcputable. It may be referred to from other vcpus in the local APIC code. Practically the only thing that can accomplish this without asubstantial effort is rcu.