var namespaceL4Re =
[
    [ "Vfs", "namespaceL4Re_1_1Vfs.html", "namespaceL4Re_1_1Vfs" ],
    [ "Util", "namespaceL4Re_1_1Util.html", "namespaceL4Re_1_1Util" ],
    [ "Cap_alloc", "classL4Re_1_1Cap__alloc.html", "classL4Re_1_1Cap__alloc" ],
    [ "Smart_cap_auto", "classL4Re_1_1Smart__cap__auto.html", null ],
    [ "Smart_count_cap", "classL4Re_1_1Smart__count__cap.html", "classL4Re_1_1Smart__count__cap" ],
    [ "Console", "classL4Re_1_1Console.html", null ],
    [ "Dataspace", "classL4Re_1_1Dataspace.html", "classL4Re_1_1Dataspace" ],
    [ "Debug_obj", "classL4Re_1_1Debug__obj.html", "classL4Re_1_1Debug__obj" ],
    [ "Dma_space", "classL4Re_1_1Dma__space.html", "classL4Re_1_1Dma__space" ],
    [ "Env", "classL4Re_1_1Env.html", "classL4Re_1_1Env" ],
    [ "Event", "classL4Re_1_1Event.html", "classL4Re_1_1Event" ],
    [ "Default_event_payload", "structL4Re_1_1Default__event__payload.html", "structL4Re_1_1Default__event__payload" ],
    [ "Event_buffer_t", "classL4Re_1_1Event__buffer__t.html", "classL4Re_1_1Event__buffer__t" ],
    [ "Inhibitor", "classL4Re_1_1Inhibitor.html", "classL4Re_1_1Inhibitor" ],
    [ "Itas", "classL4Re_1_1Itas.html", "classL4Re_1_1Itas" ],
    [ "Log", "classL4Re_1_1Log.html", "classL4Re_1_1Log" ],
    [ "Mem_alloc", "classL4Re_1_1Mem__alloc.html", "classL4Re_1_1Mem__alloc" ],
    [ "Mmio_space", "structL4Re_1_1Mmio__space.html", "structL4Re_1_1Mmio__space" ],
    [ "Namespace", "classL4Re_1_1Namespace.html", "classL4Re_1_1Namespace" ],
    [ "Parent", "classL4Re_1_1Parent.html", "classL4Re_1_1Parent" ],
    [ "Random", "structL4Re_1_1Random.html", "structL4Re_1_1Random" ],
    [ "Rm", "classL4Re_1_1Rm.html", "classL4Re_1_1Rm" ],
    [ "Shared_cap", "namespaceL4Re.html#a8246219e47e489b13fb5f2dde553a6e4", null ],
    [ "shared_cap", "namespaceL4Re.html#a1ba2a198ba5f436415ab1727f89b928a", null ],
    [ "Shared_del_cap", "namespaceL4Re.html#a8ce6737cc5cfbb4afd49cc3c00a62d7e", null ],
    [ "shared_del_cap", "namespaceL4Re.html#a2f55bc6f406a9b6b97b3ba948137c788", null ],
    [ "Unique_cap", "namespaceL4Re.html#a44b5a2cf415294d2f2cc5ffce0614981", null ],
    [ "unique_cap", "namespaceL4Re.html#ab61a54ec293513d2c19cec383981c53b", null ],
    [ "Unique_del_cap", "namespaceL4Re.html#a3c900d7dd040edd4ed72e837eda69d89", null ],
    [ "unique_del_cap", "namespaceL4Re.html#ab29df2f16d0bb2ca753c1db7d150d43c", null ],
    [ "chkcap", "namespaceL4Re.html#a64b057254a760643ba67a9ed452fede8", null ],
    [ "chkipc", "namespaceL4Re.html#ae21329b88c6ffc4917048e8d9564ea99", null ],
    [ "chksys", "namespaceL4Re.html#ae0dd5d25abdc1d195edd8ab6b744334c", null ],
    [ "chksys", "namespaceL4Re.html#ad17a205e6270588606dd85399b0f9b6c", null ],
    [ "chksys", "namespaceL4Re.html#a3f17984019f06676a7e3eecb41bbb0bb", null ],
    [ "make_shared_cap", "namespaceL4Re.html#a4289d6b17e3c1c85c9f5e90ad1b2de59", null ],
    [ "make_shared_del_cap", "namespaceL4Re.html#a601e533638e6519ea3097671c8dbdab7", null ],
    [ "make_unique_cap", "namespaceL4Re.html#a8bb9901b3ac8527809d74b8f7ff585d9", null ],
    [ "make_unique_del_cap", "namespaceL4Re.html#ae161858ed73bf085288274e0a9e0bc7d", null ],
    [ "throw_error", "namespaceL4Re.html#ae27ac6f274f4ad1267d0d1c0c033c00b", null ]
];