// 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";