var group__l4__kernel__object__gate__api =
[
    [ "l4_ipc_gate_get_infos", "group__l4__kernel__object__gate__api.html#ga129986b9fdb9821c9458e99703f722a2", null ],
    [ "l4_rcv_ep_bind_snd_destination", "group__l4__kernel__object__gate__api.html#gadb03d49fcf42b9fc167338fa1cd72fb4", null ],
    [ "l4_rcv_ep_bind_thread", "group__l4__kernel__object__gate__api.html#gad3ab8fc6f519189a50d8b25b0c9ea3e6", null ]
];