var group__teesl__extension =
[
    [ "TEES_ClientCredentials", "group__teesl__extension.html#structTEES__ClientCredentials", [
      [ "gid", "group__teesl__extension.html#a110f5330cf8928717da844d7d4328a8a", null ],
      [ "pid", "group__teesl__extension.html#a72cb53e08b3d46cf3a16ab8e5f7e6a6c", null ],
      [ "uid", "group__teesl__extension.html#a34886310752afd8c5371f9f537a407b5", null ]
    ] ],
    [ "TEES_DupIwshmem", "group__teesl__extension.html#ga75c09c0f9a3ca081e62ab216d5f508b2", null ],
    [ "TEES_GetClientCredentials", "group__teesl__extension.html#ga7f1e0fc703f784d8ea066e547ab097eb", null ],
    [ "TEES_GetTaskDataSize", "group__teesl__extension.html#ga1a37658a029dc8cc5c053cc8cd9ba68f", null ],
    [ "TEES_IsREESharedMemory", "group__teesl__extension.html#gae04b2ac8d299f0748de85f8273d39f8e", null ]
];