var group__l4util__random =
[
    [ "l4util_rand", "group__l4util__random.html#gadfd1f45873995cae3bc2d4f45b6d1ca2", null ],
    [ "l4util_srand", "group__l4util__random.html#gac4a88c4dc7bb45686f481811a53a60d0", null ]
];