var semaphore_8h =
[
    [ "l4_semaphore_down", "group__l4__semaphore__api.html#ga93dd91476859488c579de1caae8058e8", null ],
    [ "l4_semaphore_up", "group__l4__semaphore__api.html#ga7fc3931fba29e35a6690639c74774c43", null ]
];