| // SPDX-License-Identifier: GPL-2.0 | |
| /* | |
| * A scheduler that verified if RT tasks can stall SCHED_EXT tasks. | |
| * | |
| * Copyright (c) 2025 NVIDIA Corporation. | |
| */ | |
| #include <scx/common.bpf.h> | |
| char _license[] SEC("license") = "GPL"; | |
| UEI_DEFINE(uei); | |
| void BPF_STRUCT_OPS(rt_stall_exit, struct scx_exit_info *ei) | |
| { | |
| UEI_RECORD(uei, ei); | |
| } | |
| SEC(".struct_ops.link") | |
| struct sched_ext_ops rt_stall_ops = { | |
| .exit = (void *)rt_stall_exit, | |
| .name = "rt_stall", | |
| }; |