Symbol: kvm_has_tcr2