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")
11 int BPF_PROG(test_spin_lock, struct bpf_spin_lock *lock)
12 {
13 	return 0;
14 }
15 
16 SEC("?fentry/bpf_spin_unlock")
17 int BPF_PROG(test_spin_unlock, struct bpf_spin_lock *lock)
18 {
19 	return 0;
20 }
21