var ddrgev3_8f = [ [ "ddrgev3", "da/dbe/ddrgev3_8f_abb96b6fe594cd5f06c88a6e92ca9a9a7.html#abb96b6fe594cd5f06c88a6e92ca9a9a7", null ] ]; .