text: var drvector_8h =
  [
      [ "drvector_t", "drvector_8h.html#ga75de93b82d4075650dd24e95acf164dd", null ],
      [ "drvector_append", "drvector_8h.html#ga380b542d2b8b997ded501df7f54b6919", null ],
      [ "drvector_delete", "drvector_8h.html#ga2e5949b592508c61e35ec14bfa731d62", null ],
      [ "drvector_get_entry", "drvector_8h.html#gaa578776ea720fb04c87ac04181d89f4e", null ],
      [ "drvector_init", "drvector_8h.html#gae5206874469dc2551dad9e8f375e87df", null ],
      [ "drvector_lock", "drvector_8h.html#gacf1b3d3080e42bc98cddc75d675cd786", null ],
      [ "drvector_set_entry", "drvector_8h.html#ga70494a642307dd41ad8b6a754fcea9c8", null ],
      [ "drvector_unlock", "drvector_8h.html#ga752060ab72ce4d597fed7684332bba5b", null ]
  ];