tdx_interrupt_allowed
return tdx_interrupt_allowed(vcpu);
((is_td_vcpu(vcpu) && tdx_interrupt_allowed(vcpu)) ||
bool tdx_interrupt_allowed(struct kvm_vcpu *vcpu);