Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/block/drbd/drbd_main.c bitstream_put_bits() -> bitstream_cursor_advance()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 2424835663448436736 |
| PARAM_VALUE | 0 | cur->b | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bit | 0,2-7 |
| PARAM_VALUE | 1 | bits | 2-3,5,7,10,14,21,29,42,64 |
| CAPPED_DATA | 1 | bits | 1 |
| DATA_SOURCE | 1 | bits | $2 |
| FUZZY_MAX | 1 | bits | 64 |
| NOCHECK_CALL | |||
| LOCK2 | &sock->mutex | ||
| TYPE_LOCK | (struct drbd_socket)->mutex |
drivers/block/drbd/drbd_receiver.c bitstream_get_bits() -> bitstream_cursor_advance()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 1254741612899172352 |
| PARAM_VALUE | 0 | cur->b | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bit | 0-7 |
| PARAM_VALUE | 1 | bits | 1-u32max |
| DATA_SOURCE | 1 | bits | $2 [m] |
| NOCHECK_CALL |