// SPDX-License-Identifier: GPL-2.0 #include "vmlinux.h" #include <bpf/bpf_helpers.h> #include <bpf/bpf_tracing.h> #include <bpf/bpf_core_read.h> typedef int (*func_proto_typedef)(long); typedef int (*func_proto_typedef_nested1)(func_proto_typedef); typedef int (*func_proto_typedef_nested2)(func_proto_typedef_nested1); int proto_out; SEC("raw_tracepoint/sys_enter") int core_relo_proto(void *ctx) { proto_out = bpf_core_type_exists(func_proto_typedef_nested2); return 0; } char LICENSE[] SEC("license") = "GPL";