tdx_flush_tlb_current
tdx_flush_tlb_current(vcpu);
void tdx_flush_tlb_current(struct kvm_vcpu *vcpu);