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