var group__tee__sockets_structTEE__tlsSocket__PSK__Info__s =
[
    [ "pskIdentity", "group__tee__sockets.html#a6921c0ade17c92f17567a4f7ca13b86a", null ],
    [ "pskKey", "group__tee__sockets.html#a65f356d2ac667c0a7b9347303ad66b3a", null ]
];