var group__util =
[
    [ "koishi_util_page_size", "group__util.html#ga07ceb32be866e9c26e44ba908ca73ad4", null ],
    [ "koishi_util_real_stack_size", "group__util.html#ga3e814ea965e247757e9e8d6b0b3c13ed", null ]
];