// SPDX-License-Identifier: GPL-2.0 #include "vmlinux.h" #include <bpf/bpf_tracing.h> #include <bpf/bpf_helpers.h> #include "bpf_misc.h" char _license[] SEC("license") = "GPL"; int bpf_sock_destroy(struct sock_common *sk) __ksym; SEC("tp_btf/tcp_destroy_sock") __failure __msg("calling kernel function bpf_sock_destroy is not allowed") int BPF_PROG(trace_tcp_destroy_sock, struct sock *sk) { /* should not load */ bpf_sock_destroy((struct sock_common *)sk); return 0; }