What is the dual Ginzburg-Landau theory for holographic superconductors?

Holographic superconductors are holographic duals of superconductors. Macroscopically, a superconductor should be described by the Ginzburg-Landau (GL) theory. There is ample evidence that the holographic superconductors are described by the standard GL theory, but the exact form of the dual GL theory is little known. We identify the dual GL theory for a class of bulk 5-dimensional holographic superconductors, where numerical coefficients are obtained exactly.