var tees__el2if_8h =
[
    [ "EL2IF_ARGS_NUM", "group__teesl.html#gaaffab7fbdfc3a83890ca1a84265c8737", null ],
    [ "EL2IF_DEV_NAME", "group__teesl.html#ga500edb7127a49985af42df08c2f80ca8", null ],
    [ "TEES_El2if", "group__teesl.html#ga3f98a658c7181c48bcd3eef3fecc433e", null ]
];