| #!/bin/bash | |
| # SPDX-License-Identifier: GPL-2.0 | |
| get_workload_pids() { | |
| local shell_pid=$$ | |
| local rtla_pid=$(ps -o ppid= $shell_pid) | |
| # kernel threads | |
| pgrep -P $(pgrep ^kthreadd$) -f '^\[?(osnoise|timerlat)/[0-9]+\]?$' | |
| # user threads | |
| pgrep -P $rtla_pid | grep -v "^$shell_pid$" | |
| } |