var group__l4__basic__types =
[
    [ "l4int.h", "l4_2sys_2l4int_8h.html", null ],
    [ "l4int.h", "arm_2l4_2sys_2l4int_8h.html", null ],
    [ "l4int.h", "arm64_2l4_2sys_2l4int_8h.html", null ],
    [ "l4int.h", "amd64_2l4_2sys_2l4int_8h.html", null ],
    [ "l4int.h", "x86_2l4_2sys_2l4int_8h.html", null ],
    [ "L4_MWORD_BITS", "group__l4__basic__types.html#ga994a270c5c1613a5e235e212bc6a5af9", null ],
    [ "L4_MWORD_BITS", "group__l4__basic__types.html#ga994a270c5c1613a5e235e212bc6a5af9", null ],
    [ "L4_MWORD_BITS", "group__l4__basic__types.html#ga994a270c5c1613a5e235e212bc6a5af9", null ],
    [ "L4_MWORD_BITS", "group__l4__basic__types.html#ga994a270c5c1613a5e235e212bc6a5af9", null ],
    [ "l4_addr_t", "group__l4__basic__types.html#ga4087b991c40c0d2fcde9ca331049a4d4", null ],
    [ "l4_cpu_time_t", "group__l4__basic__types.html#ga6efe5a2c466cba633dbb23611b8eb458", null ],
    [ "l4_int16_t", "group__l4__basic__types.html#ga60b19416a2c6ca22085f94b5954c1f05", null ],
    [ "l4_int32_t", "group__l4__basic__types.html#ga1f8fa47736f340e39bd18a96613d4873", null ],
    [ "l4_int64_t", "group__l4__basic__types.html#ga9ef3675596794578a8d6e6b836dd4f18", null ],
    [ "l4_int8_t", "group__l4__basic__types.html#ga9eb1a1943b4c64f3248fe938b540119b", null ],
    [ "l4_kernel_clock_t", "group__l4__basic__types.html#gab71da24eb7cda2c035f18b862309b101", null ],
    [ "l4_mword_t", "group__l4__basic__types.html#ga51d9492e7700d70ed35838154ca9b279", null ],
    [ "l4_size_t", "group__l4__basic__types.html#gaa92c4a3989fe6322e96e3debac938f89", null ],
    [ "l4_size_t", "group__l4__basic__types.html#ga08c1e83a068ded7add134b188cd44967", null ],
    [ "l4_size_t", "group__l4__basic__types.html#gaa92c4a3989fe6322e96e3debac938f89", null ],
    [ "l4_size_t", "group__l4__basic__types.html#ga08c1e83a068ded7add134b188cd44967", null ],
    [ "l4_ssize_t", "group__l4__basic__types.html#ga045b25a600413fa97ca6ddd5dd698233", null ],
    [ "l4_ssize_t", "group__l4__basic__types.html#ga9dc1f61609809eb3dc6b1cda10197ea8", null ],
    [ "l4_ssize_t", "group__l4__basic__types.html#ga045b25a600413fa97ca6ddd5dd698233", null ],
    [ "l4_ssize_t", "group__l4__basic__types.html#ga9dc1f61609809eb3dc6b1cda10197ea8", null ],
    [ "l4_uint16_t", "group__l4__basic__types.html#gae8d67914f723bf843df6f311ad2619a2", null ],
    [ "l4_uint32_t", "group__l4__basic__types.html#gac1d09f3e382e711b776931f10e6e1e5a", null ],
    [ "l4_uint64_t", "group__l4__basic__types.html#gaf3331c485014bd12a9e4f9d27a55e689", null ],
    [ "l4_uint8_t", "group__l4__basic__types.html#ga9678dc2e6bf3e4d8ec950162576b0fad", null ],
    [ "l4_umword_t", "group__l4__basic__types.html#ga1c2c4b333f75b1d05b59855910f2b9cb", null ]
];