Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/hv/channel_mgmt.c vmbus_add_channel_work() -> (struct vmbus_channel)->sc_creation_callback()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | new_sc | 4096-ptr_max |
| PARAM_VALUE | 0 | new_sc->kobj.sd->attr.notify_next | 0,426918848001064960 |
| PARAM_VALUE | 0 | new_sc->primary_channel | 4096-ptr_max |
| PARAM_VALUE | 0 | new_sc->primary_channel->sc_creation_callback | 1-u64max |
| PARAM_VALUE | 0 | new_sc->state | 2 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |