tdh_vp_flush
u64 tdh_vp_flush(struct tdx_vp *vp);
err = tdh_vp_flush(&to_tdx(vcpu)->vp);
EXPORT_SYMBOL_FOR_KVM(tdh_vp_flush);