Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/block/drbd/drbd_main.c vli_encode_bits() -> bitstream_put_bits()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bs | 2424835663448436736 |
| PARAM_VALUE | 0 | bs->buf_len | 4079,4087 |
| PARAM_VALUE | 0 | bs->cur.bit | 0,2-7 |
| PARAM_VALUE | 1 | val | 0-3,5,7,11-u64max |
| PARAM_VALUE | 2 | bits | 2-3,5,7,10,14,21,29,42,64 |
| DATA_SOURCE | 0 | bs | $0 |
| DATA_SOURCE | 2 | bits | r __vli_encode_bits |
| LOCK2 | &sock->mutex | ||
| TYPE_LOCK | (struct drbd_socket)->mutex |