1 // SPDX-License-Identifier: GPL-2.0
2 /* Copyright (c) 2024 Meta Platforms, Inc. and affiliates. */
3 
4 #include "vmlinux.h"
5 #include <bpf/bpf_helpers.h>
6 #include <bpf/bpf_tracing.h>
7 
8 char _license[] SEC("license") = "GPL";
9 
10 SEC("?fentry/bpf_spin_lock")
BPF_PROG(test_spin_lock,struct bpf_spin_lock * lock)11 int BPF_PROG(test_spin_lock, struct bpf_spin_lock *lock)
12 {
13 	return 0;
14 }
15 
16 SEC("?fentry/bpf_spin_unlock")
BPF_PROG(test_spin_unlock,struct bpf_spin_lock * lock)17 int BPF_PROG(test_spin_unlock, struct bpf_spin_lock *lock)
18 {
19 	return 0;
20 }
21 
22 SEC("?fentry/__rcu_read_lock")
BPF_PROG(tracing_deny)23 int BPF_PROG(tracing_deny)
24 {
25 	return 0;
26 }
27 
28 SEC("?fexit/do_exit")
BPF_PROG(fexit_noreturns)29 int BPF_PROG(fexit_noreturns)
30 {
31 	return 0;
32 }
33