Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
arg |
2453383623692398592 |
| PARAM_VALUE |
0 |
arg->a.ctx |
4096-u64max |
| PARAM_VALUE |
0 |
arg->a.spin.batch |
0 |
| PARAM_VALUE |
0 |
arg->a.spin.batch_vma |
0 |
| PARAM_VALUE |
0 |
arg->a.spin.ce |
0 |
| PARAM_VALUE |
0 |
arg->a.spin.hws |
4096-ptr_max |
| PARAM_VALUE |
0 |
arg->a.spin.hws_vma |
0 |
| PARAM_VALUE |
0 |
arg->a.spin.obj |
4096-ptr_max |
| PARAM_VALUE |
0 |
arg->a.spin.seqno |
0 |
| PARAM_VALUE |
0 |
arg->b.ctx |
4096-u64max |
| PARAM_VALUE |
0 |
arg->b.spin.batch |
0 |
| PARAM_VALUE |
0 |
arg->b.spin.batch_vma |
0 |
| PARAM_VALUE |
0 |
arg->b.spin.ce |
0 |
| PARAM_VALUE |
0 |
arg->b.spin.hws |
4096-ptr_max |
| PARAM_VALUE |
0 |
arg->b.spin.hws_vma |
0 |
| PARAM_VALUE |
0 |
arg->b.spin.obj |
4096-ptr_max |
| PARAM_VALUE |
0 |
arg->b.spin.seqno |
0 |
| PARAM_VALUE |
0 |
arg->engine |
4096-ptr_max |