Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/ntb/core.c ntb_register_device() -> ntb_dev_ops_is_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ops | 248926284840706048,551770302908739584,3045344099055849472,3182635989448302592,3883756635137118208,4473005143838056448,7291469521865936896,9110266463662788608 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &sp->mutex |