var dspgvx_8f = [ [ "dspgvx", "d5/d8a/group__hpgvx_gac70094012f43e406e9bf97b34bc2a3eb.html#gac70094012f43e406e9bf97b34bc2a3eb", null ] ]; .