Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/md/dm-vdo/thread-device.c vdo_register_thread_device_id() -> vdo_register_thread()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | registry | 1580511454222856192 |
| PARAM_VALUE | 1 | new_thread | 1512361617733128192,2362008897267306496,3264209374626664448,4901967262684217344,5284445134641389568,5823847966400122880,8751503732223496192 |
| PARAM_VALUE | 2 | pointer | 4096-ptr_max |
| DATA_SOURCE | 1 | new_thread | $0 |
| DATA_SOURCE | 2 | pointer | $1 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &md->io_barrier | ||
| HALF_LOCKED2 | &md->suspend_lock |
drivers/md/dm-vdo/memory-alloc.c vdo_register_allocating_thread() -> vdo_register_thread()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | registry | 3114650752923058176 |
| PARAM_VALUE | 1 | new_thread | 4096-ptr_max |
| PARAM_VALUE | 2 | pointer | 4096-ptr_max |
| PARAM_VALUE | 2 | *pointer | 0-1 |
| DATA_SOURCE | 1 | new_thread | $0 |
| DATA_SOURCE | 2 | pointer | $1 [m] |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &md->io_barrier |