var dir_a61f22007e0f347cded0d82030ee545d =
[
    [ "bioscall.h", "d0/dcf/bioscall_8h.html", "d0/dcf/bioscall_8h" ],
    [ "kern_trie.h", "db/d51/kern__trie_8h.html", "db/d51/kern__trie_8h" ],
    [ "kmalloc.h", "d4/d03/kmalloc_8h.html", "d4/d03/kmalloc_8h" ],
    [ "kprintf.h", "da/d28/kprintf_8h.html", "da/d28/kprintf_8h" ],
    [ "libcpp.h", "d5/dab/libcpp_8h.html", "d5/dab/libcpp_8h" ]
];