Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/block/drbd/drbd_main.c fill_bitmap_rle_bits() -> vli_encode_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 | in | 1-u64max |
| CAPPED_DATA | 1 | in | 1 |
| CAPPED_DATA | 1 | in | 1 |
| LOCK2 | &sock->mutex | ||
| TYPE_LOCK | (struct drbd_socket)->mutex |