var tees__extension_8h =
[
    [ "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 ]
];