text: var rtx__os_8h_structosRtxInfo__t_8thread_8robin =
  [
      [ "thread", "rtx__os_8h.html#adc127f5d2483352fd20eaddb38feb6d2", null ],
      [ "tick", "rtx__os_8h.html#ae5e5c0754f1e26bf915455e21cf2eba5", null ],
      [ "timeout", "rtx__os_8h.html#a90272dda245ae1fb3cf197e91a8689dc", null ]
  ];