var unmappage_8c =
[
    [ "vmm_unmapPage", "unmappage_8c.html#a58fb96856e9c4c2e85b31a779afb097d", null ],
    [ "vmm_unmapPages", "unmappage_8c.html#aaaaea0ea425598e5742a2e296a6f69d2", null ]
];