var classL4Re_1_1Mem__alloc =
[
    [ "Stats", "structL4Re_1_1Mem__alloc_1_1Stats.html", "structL4Re_1_1Mem__alloc_1_1Stats" ],
    [ "Mem_alloc_flags", "classL4Re_1_1Mem__alloc.html#a47f3e054def977c17dbf60bfbb4ee05e", [
      [ "Continuous", "classL4Re_1_1Mem__alloc.html#a47f3e054def977c17dbf60bfbb4ee05ea24aed4d1617b5d1247f03ff81f828b1c", null ],
      [ "Pinned", "classL4Re_1_1Mem__alloc.html#a47f3e054def977c17dbf60bfbb4ee05ea7875dadd56bd617a0921da23f43da7ca", null ],
      [ "Super_pages", "classL4Re_1_1Mem__alloc.html#a47f3e054def977c17dbf60bfbb4ee05ea0d3bad158560fa9101c2ed2fd234f407", null ],
      [ "Fixed_paddr", "classL4Re_1_1Mem__alloc.html#a47f3e054def977c17dbf60bfbb4ee05ea23b07ecdd311dbeea23ff77965ccdb9a", null ]
    ] ],
    [ "alloc", "classL4Re_1_1Mem__alloc.html#a3e61dd10005ccbabb7052050704d6520", null ],
    [ "info", "classL4Re_1_1Mem__alloc.html#a691e583da7fbfd8d0aaa13db3b2919c3", null ]
];