var rtx__os_8h_structosRtxMemoryPool__t =
[
    [ "id", "rtx__os_8h.html#a1e6927fa1486224044e568f9c370519b", null ],
    [ "reserved_state", "rtx__os_8h.html#a0acbb12a103775ddce0fb5d0efa3540f", null ],
    [ "flags", "rtx__os_8h.html#aa2585d779da0ab21273a8d92de9a0ebe", null ],
    [ "reserved", "rtx__os_8h.html#acb7bc06bed6f6408d719334fc41698c7", null ],
    [ "name", "rtx__os_8h.html#a8f8f80d37794cde9472343e4487ba3eb", null ],
    [ "thread_list", "rtx__os_8h.html#a8afd5feb676df99867375957b0587451", null ],
    [ "mp_info", "rtx__os_8h.html#ac1cf67a8631962a42fa2da46f20a1a39", null ]
];