scx_tickless/
bpf_skel.rs

1// SPDX-License-Identifier: GPL-2.0
2//
3// Copyright (c) 2025 Andrea Righi <arighi@nvidia.com>
4
5// This software may be used and distributed according to the terms of the
6// GNU General Public License version 2.
7
8include!(concat!(env!("OUT_DIR"), "/bpf_skel.rs"));