var group__api__calls__fiasco =
[
    [ "Kernel Debugger", "group__l4__debugger__api.html", "group__l4__debugger__api" ],
    [ "Kernel Information Dump", "group__fiasco__dump__api.html", null ],
    [ "Kernel Tracing", "group__fiasco__trace__api.html", "group__fiasco__trace__api" ],
    [ "__ktrace-impl.h", "____ktrace-impl_8h.html", null ],
    [ "ktrace.h", "ktrace_8h.html", null ],
    [ "obj_info.h", "obj__info_8h.html", null ],
    [ "segment.h", "amd64_2l4f_2l4_2sys_2segment_8h.html", null ],
    [ "segment.h", "amd64_2l4_2sys_2segment_8h.html", null ],
    [ "segment.h", "x86_2l4f_2l4_2sys_2segment_8h.html", null ],
    [ "segment.h", "x86_2l4_2sys_2segment_8h.html", null ],
    [ "fiasco_gdt_get_entry_offset", "group__api__calls__fiasco.html#ga62cd4adfb0915e034d528472c73ad270", null ],
    [ "fiasco_gdt_set", "group__api__calls__fiasco.html#ga889e52253474f768149a012b94fac148", null ],
    [ "fiasco_ldt_set", "group__api__calls__fiasco.html#ga394d6b4591383b0f6c78155e6e5e5180", null ]
];