// SPDX-License-Identifier: GPL-2.0
/* Copyright (c) 2026 Meta Platforms, Inc. and affiliates. */

#include <vmlinux.h>
#include <bpf/bpf_helpers.h>
#include <bpf/bpf_tracing.h>
#include <errno.h>

extern int bpf_kfunc_implicit_arg(int a) __weak __ksym;

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

/* Shared arg checks; reports arg count and aux, returns 1 on success. */
static __always_inline __u64
check_implicit_args(void *ctx, __u64 *arg_cnt, __u64 *aux_arg)
{
        __u64 a = 0, aux = 0, z = 0;
        __u64 result;
        __s64 err;

        *arg_cnt = bpf_get_func_arg_cnt(ctx);
        result = *arg_cnt == 2;

        err = bpf_get_func_arg(ctx, 0, &a);
        result &= err == 0 && (int)a == 5;

        err = bpf_get_func_arg(ctx, 1, &aux);
        *aux_arg = aux;
        result &= err == 0 && aux != 0;

        err = bpf_get_func_arg(ctx, 2, &z);
        result &= err == -EINVAL;

        return result;
}

__u64 fentry_result;
__u64 fentry_arg_cnt;
__u64 fentry_aux_arg;

SEC("fentry/bpf_kfunc_implicit_arg")
int BPF_PROG(trace_implicit_arg_fentry)
{
        __u64 ret = 0;
        __s64 err;

        fentry_result = check_implicit_args(ctx, &fentry_arg_cnt, &fentry_aux_arg);

        err = bpf_get_func_ret(ctx, &ret);
        fentry_result &= err == -EOPNOTSUPP;

        return 0;
}

__u64 fexit_result;
__u64 fexit_arg_cnt;
__u64 fexit_aux_arg;

SEC("fexit/bpf_kfunc_implicit_arg")
int BPF_PROG(trace_implicit_arg_fexit)
{
        __u64 ret = 0;
        __s64 err;

        fexit_result = check_implicit_args(ctx, &fexit_arg_cnt, &fexit_aux_arg);

        err = bpf_get_func_ret(ctx, &ret);
        fexit_result &= err == 0 && ret == 5;

        return 0;
}

SEC("syscall")
int trigger_implicit_arg(void *ctx)
{
        return bpf_kfunc_implicit_arg(5);
}