Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/block/drbd/drbd_main.c prepare_header() -> prepare_header80()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | cmd | 0-4,7-36,40-45,49-51,54,65521-65522,65534 |
| DATA_SOURCE | 0 | h | $2 |
| DATA_SOURCE | 1 | cmd | $3 |
| DATA_SOURCE | 2 | size | $4 |
| FUZZY_MAX | 1 | cmd | 54 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | size | unit_byte |
| HALF_LOCKED2 | &connection->cstate_mutex | ||
| HALF_LOCKED2 | &connection->data.mutex | ||
| HALF_LOCKED2 | &connection->resource->conf_update | ||
| HALF_LOCKED2 | &sock->mutex | ||
| TYPE_LOCK | (struct drbd_socket)->mutex |