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