vcpu_set_thumb     71 arch/arm/kvm/reset.c 			vcpu_set_thumb(vcpu);
vcpu_set_thumb    317 arch/arm64/kvm/reset.c 			vcpu_set_thumb(vcpu);