Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/block/drbd/drbd_receiver.c seq_max() -> seq_greater()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | a | $0 |
| DATA_SOURCE | 1 | b | $1 |
| PREEMPT_ADD | |||
| LOCK2 | &device->peer_seq_lock | ||
| TYPE_LOCK | (struct drbd_device)->peer_seq_lock |
drivers/block/drbd/drbd_receiver.c wait_for_and_update_peer_seq() -> seq_greater()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | <- disables preempt | ||
| LOCK2 | &device->peer_seq_lock | ||
| TYPE_LOCK | (struct drbd_device)->peer_seq_lock |