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

struct task_ls_map {
	__uint(type, BPF_MAP_TYPE_TASK_STORAGE);
	__uint(map_flags, BPF_F_NO_PREALLOC);
	__type(key, int);
	__type(value, int);
} task_ls_map SEC(".maps");

long gp_seq;

SEC("syscall")
int do_call_rcu_tasks_trace(void *ctx)
{
    struct task_struct *current;
    int *v;

    current = bpf_get_current_task_btf();
    v = bpf_task_storage_get(&task_ls_map, current, NULL, BPF_LOCAL_STORAGE_GET_F_CREATE);
    if (!v)
        return 1;
    /* Invoke call_rcu_tasks_trace */
    return bpf_task_storage_delete(&task_ls_map, current);
}

SEC("kprobe/rcu_tasks_trace_postgp")
int rcu_tasks_trace_postgp(void *ctx)
{
    __sync_add_and_fetch(&gp_seq, 1);
    return 0;
}

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