blob: 29c7d3135c312b2e01872660cecedc1cebd6aba4 (
plain) (
tree)
|
|
[
{
"match": [
{
"sched_setscheduler": {
"policy": "SCHED_FIFO",
"param": { "priority": 1 }
}
}
],
"call": [
{
"sched_setscheduler": {
"pid": { "caller": "pid" },
"policy": "SCHED_FIFO",
"param": { "priority": 1 }
}
}
],
"return": {
"value": 0
}
}
]
|