// SPDX-License-Identifier: GPL-2.0
#include <vmlinux.h>
#include <bpf/bpf_helpers.h>
#include <bpf/bpf_tracing.h>

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

__hidden extern int tracing_multi_arg_check(__u64 *ctx, __u64 *test_result, bool is_return);

__u64 test_result_fentry = 0;
__u64 test_result_fexit = 0;

SEC("fsession.multi/bpf_fentry_test*")
int BPF_PROG(test_session_1)
{
        volatile __u64 *cookie = bpf_session_cookie(ctx);

        if (bpf_session_is_return(ctx)) {
                if (tracing_multi_arg_check(ctx, &test_result_fexit, true))
                        return 0;
                /* extra count for test_result_fexit cookie */
                test_result_fexit += *cookie == 0xbeafbeafbeafbeaf;
        } else {
                if (tracing_multi_arg_check(ctx, &test_result_fentry, false))
                        return 0;
                *cookie = 0xbeafbeafbeafbeaf;
        }
        return 0;
}

SEC("fsession.multi.s/bpf_fentry_test1")
int BPF_PROG(test_fsession_s)
{
        volatile __u64 *cookie = bpf_session_cookie(ctx);

        if (bpf_session_is_return(ctx)) {
                if (tracing_multi_arg_check(ctx, &test_result_fexit, true))
                        return 0;
                /* extra count for test_result_fexit cookie */
                test_result_fexit += *cookie == 0xbeafbeafbeafbeaf;
        } else {
                if (tracing_multi_arg_check(ctx, &test_result_fentry, false))
                        return 0;
                *cookie = 0xbeafbeafbeafbeaf;
        }
        return 0;
}

SEC("fsession.multi/bpf_testmod:bpf_testmod_fentry_test*")
int BPF_PROG(test_session_2)
{
        volatile __u64 *cookie = bpf_session_cookie(ctx);

        if (bpf_session_is_return(ctx)) {
                if (tracing_multi_arg_check(ctx, &test_result_fexit, true))
                        return 0;
                /* extra count for test_result_fexit cookie */
                test_result_fexit += *cookie == 0xbeafbeafbeafbeaf;
        } else {
                if (tracing_multi_arg_check(ctx, &test_result_fentry, false))
                        return 0;
                *cookie = 0xbeafbeafbeafbeaf;
        }
        return 0;
}