var sys_2kip_8h =
[
    [ "L4_KERNEL_INFO_MAGIC", "group__l4__kip__api.html#ga2f628da69cbc2c40d624cc5f4cd0a182", null ],
    [ "l4_kip_for_each_feature", "sys_2kip_8h.html#ab98233bd115fcc7f039168bdb636edbc", null ],
    [ "l4_kernel_info_t", "group__l4__kip__api.html#gab618f3bd23019ba3cc72b3d15d9bf187", null ],
    [ "l4_kernel_info_version_offset", "group__l4__kip__api.html#ga1af259277589e06845c682bff91563c8", null ],
    [ "l4_kip", "group__l4__kip__api.html#ga6e23586433097cca1631cf085c396b95", null ],
    [ "l4_kip_clock", "group__l4__kip__api.html#gadeb6bfd4fa27bf58c9bd60302dbbb044", null ],
    [ "l4_kip_clock_lw", "group__l4__kip__api.html#ga1faebf3577d24a6ad580ab2bd1398222", null ],
    [ "l4_kip_clock_ns", "group__l4__kip__api.html#gae665c6bbba088a8332906557b8e419f1", null ],
    [ "l4_kip_kernel_has_feature", "sys_2kip_8h.html#a7a4e7e53bf5bb8939c64dd9f2b9e458a", null ],
    [ "l4_kip_version", "group__l4__kip__api.html#gacc439209e0eaa49acd4c12ecd5399b93", null ],
    [ "l4_kip_version_string", "group__l4__kip__api.html#ga93a1b85e22b798e46f7608f59153895c", null ]
];