kvm_is_tdp_enabled
bool kvm_is_tdp_enabled(void);
if (kvm_is_tdp_enabled())
vcpu_args_set(vcpu, 1, kvm_is_tdp_enabled());
if (kvm_is_tdp_enabled()) {