var classL4Re_1_1Dataspace =
[
    [ "F", "structL4Re_1_1Dataspace_1_1F.html", "structL4Re_1_1Dataspace_1_1F" ],
    [ "Stats", "structL4Re_1_1Dataspace_1_1Stats.html", "structL4Re_1_1Dataspace_1_1Stats" ],
    [ "allocate", "classL4Re_1_1Dataspace.html#af54638ea6c363bb5096267a0eb89d86a", null ],
    [ "clear", "classL4Re_1_1Dataspace.html#aec6654feafb167a373e056b326a99151", null ],
    [ "copy_in", "classL4Re_1_1Dataspace.html#a21ba4a8d1053498647834e622daf285a", null ],
    [ "flags", "classL4Re_1_1Dataspace.html#af96cd7d2c6fd10bfbbb0b426197a231c", null ],
    [ "info", "classL4Re_1_1Dataspace.html#aa67190f2465d092c35c62d432814a8b3", null ],
    [ "map", "classL4Re_1_1Dataspace.html#a1c8539a63573cdd9216d9382e89b0e64", null ],
    [ "map_info", "classL4Re_1_1Dataspace.html#ab56d44448cca4a99531904fb3e2cd0df", null ],
    [ "map_region", "classL4Re_1_1Dataspace.html#a971cf0d6a16afe265efbd4a40a2f6d03", null ],
    [ "size", "classL4Re_1_1Dataspace.html#ace7817f743e42404bcfe0a0e348884e1", null ]
];