VCPU_DEBUG_FREE
((vcpu)->arch.debug_owner != VCPU_DEBUG_FREE)
vcpu->arch.debug_owner = VCPU_DEBUG_FREE;
case VCPU_DEBUG_FREE: