// SPDX-License-Identifier: GPL-2.0
// Copyright (c) 2018 Facebook

#include "vmlinux.h"

#include <bpf/bpf_helpers.h>
#include <bpf/bpf_endian.h>
#include <bpf/bpf_tracing.h>

#define AF_INET6 10

struct socket_cookie {
        __u64 cookie_key;
        __u32 cookie_value;
};

struct {
        __uint(type, BPF_MAP_TYPE_SK_STORAGE);
        __uint(map_flags, BPF_F_NO_PREALLOC);
        __type(key, int);
        __type(value, struct socket_cookie);
} socket_cookies SEC(".maps");

/*
 * These three programs get executed in a row on connect() syscalls. The
 * userspace side of the test creates a client socket, issues a connect() on it
 * and then checks that the local storage associated with this socket has:
 * cookie_value == local_port << 8 | 0xFF
 * The different parts of this cookie_value are appended by those hooks if they
 * all agree on the output of bpf_get_socket_cookie().
 */
SEC("cgroup/connect6")
int set_cookie(struct bpf_sock_addr *ctx)
{
        struct socket_cookie *p;

        if (ctx->family != AF_INET6 || ctx->user_family != AF_INET6)
                return 1;

        p = bpf_sk_storage_get(&socket_cookies, ctx->sk, 0,
                               BPF_SK_STORAGE_GET_F_CREATE);
        if (!p)
                return 1;

        p->cookie_value = 0xF;
        p->cookie_key = bpf_get_socket_cookie(ctx);

        return 1;
}

SEC("sockops")
int update_cookie_sockops(struct bpf_sock_ops *ctx)
{
        struct bpf_sock *sk = ctx->sk;
        struct socket_cookie *p;

        if (ctx->family != AF_INET6)
                return 1;

        if (ctx->op != BPF_SOCK_OPS_TCP_CONNECT_CB)
                return 1;

        if (!sk)
                return 1;

        p = bpf_sk_storage_get(&socket_cookies, sk, 0, 0);
        if (!p)
                return 1;

        if (p->cookie_key != bpf_get_socket_cookie(ctx))
                return 1;

        p->cookie_value |= (ctx->local_port << 8);

        return 1;
}

SEC("fexit/inet_stream_connect")
int BPF_PROG(update_cookie_tracing, struct socket *sock,
             struct sockaddr *uaddr, int addr_len, int flags)
{
        struct socket_cookie *p;

        if (uaddr->sa_family != AF_INET6)
                return 0;

        p = bpf_sk_storage_get(&socket_cookies, sock->sk, 0, 0);
        if (!p)
                return 0;

        if (p->cookie_key != bpf_get_socket_cookie(sock->sk))
                return 0;

        p->cookie_value |= 0xF0;

        return 0;
}

char _license[] SEC("license") = "GPL";