var group__msg__mailbox__management =
[
    [ "MSG_mailbox_set_async", "group__msg__mailbox__management.html#ga6f960676ac24fb9c64da2bfcc6f24da8", null ],
    [ "MSG_mailbox_get_task_ext", "group__msg__mailbox__management.html#ga0ccdeb3f9337c9fa505ed39c74bd27a1", null ],
    [ "MSG_mailbox_get_task_ext_bounded", "group__msg__mailbox__management.html#ga073a924d91ab515e507e01399dbdd0dc", null ]
];