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

int val = 0;

SEC("fentry/test_1")
int BPF_PROG(fentry_test_1, __u64 *st_ops_ctx)
{
	__u64 state;

	/* Read the traced st_ops arg1 which is a pointer */
	bpf_probe_read_kernel(&state, sizeof(__u64), (void *)st_ops_ctx);
	/* Read state->val */
	bpf_probe_read_kernel(&val, sizeof(__u32), (void *)state);

	return 0;
}

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