text: var randgenerator_8c =
  [
      [ "rand_seed_init", "randgenerator_8c.html#a0bb980d3ece92f04a0df800409571948", null ],
      [ "random32", "randgenerator_8c.html#af7df599d291278b8183120b342227037", null ],
      [ "random64", "randgenerator_8c.html#a4e9c3fb2326eda79f70dd30f556395a0", null ],
      [ "random_stream", "randgenerator_8c.html#a6536c176f08779b886af70f190516877", null ],
      [ "read_random_sdram", "randgenerator_8c.html#a6c7688a0773e8cb82da280924faea414", null ]
  ];