Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/sw/rxe/rxe_pool.c __rxe_cleanup() -> (struct rxe_pool)->cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | elem | 4096-ptr_max |
| PARAM_VALUE | 0 | elem->pool->cleanup | 471751410775572480,1480347891189350400,3398609452924190720,4865525107884367872,7580779784817709056 |
| PARAM_VALUE | 0 | elem->pool->xa.xa_lock.rlock.dep_map->name | 0-255 |
| DATA_SOURCE | 0 | elem | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &ufile->hw_destroy_rwsem |