Defined in 1 files as a macro:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/vhost/vhost.c log_used() -> log_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 2 | write_length | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | write_length | 8-34359738360[c] |
| UNITS | 2 | write_length | unit_byte |
| HALF_LOCKED2 | &vq->mutex |
drivers/vhost/vhost.c log_write_hva() -> log_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CAPPED_DATA | 2 | write_length | 1 |
| CAPPED_DATA | 2 | write_length | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | write_address | unit_byte |
| UNITS | 2 | write_length | unit_byte |
| HALF_LOCKED2 | &vq->mutex |
drivers/vhost/vhost.c vhost_log_write() -> log_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CAPPED_DATA | 2 | write_length | 1 |
| CAPPED_DATA | 2 | write_length | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | write_length | unit_byte |
| HALF_LOCKED2 | &vq->mutex | ||
| TYPE_LOCK | (struct vhost_virtqueue)->mutex |