socket_cookie
struct socket_cookie val;
server_cookie = socket_cookie(server_fds[SERVER_B]);
if (fds[i] >= 0 && socket_cookie(fds[i]) == out.cookie)
__u64 cookie = socket_cookie(fd);
__u64 cookie = socket_cookie(fd);
__u64 cookie = socket_cookie(fd);
struct socket_cookie val;
__type(value, struct socket_cookie);
struct socket_cookie *p;
struct socket_cookie *p;
struct socket_cookie *p;
__type(value, struct socket_cookie);
struct socket_cookie *p;
struct socket_cookie *p;
struct socket_cookie *p;