1 // SPDX-License-Identifier: GPL-2.0 2 /* Copyright (c) 2026 Meta Platforms, Inc. and affiliates. */ 3 4 #include <linux/bpf.h> 5 #include <bpf/bpf_helpers.h> 6 #include "bench_bpf_timing.bpf.h" 7 8 SEC("syscall") 9 int bench_nop(void *ctx) 10 { 11 return BENCH_BPF_LOOP(0, ({})); 12 } 13 14 char _license[] SEC("license") = "GPL"; 15