Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/drbd/drbd_main.c drbd_send_ack() -> _drbd_send_ack()

Type Parameter Key Value
PARAM_VALUE 1 cmd 21-27,34,41,44
DATA_SOURCE 0 peer_device $0
DATA_SOURCE 1 cmd $1
FUZZY_MAX 1 cmd 44
UNITS 2 sector unit_byte
UNITS 3 blksize unit_byte

drivers/block/drbd/drbd_main.c drbd_send_ack_dp() -> _drbd_send_ack()

Type Parameter Key Value
PARAM_VALUE 0 peer_device 4096-ptr_max
PARAM_VALUE 0 peer_device->connection 4096-ptr_max
PARAM_VALUE 0 peer_device->device 4096-ptr_max
PARAM_VALUE 0 peer_device->device->state.disk 0-7
PARAM_VALUE 1 cmd 25
CAPPED_DATA 0 peer_device->device->state.disk 1
DATA_SOURCE 0 peer_device $0
DATA_SOURCE 1 cmd $1
DATA_SOURCE 3 blksize $3
HARD_MAX 0 peer_device->device->state.disk 7
NOCHECK_CALL
UNITS 2 sector unit_byte
UNITS 3 blksize unit_byte

drivers/block/drbd/drbd_main.c drbd_send_ack_ex() -> _drbd_send_ack()

Type Parameter Key Value
PARAM_VALUE 0 peer_device 4096-ptr_max
PARAM_VALUE 0 peer_device->device 4096-ptr_max
PARAM_VALUE 1 cmd 25,32
PARAM_VALUE 4 block_id 4711-4712,u64max
DATA_SOURCE 0 peer_device $0
DATA_SOURCE 1 cmd $1
DATA_SOURCE 2 sector $2
DATA_SOURCE 3 blksize $3
DATA_SOURCE 4 block_id $4
HARD_MAX 1 cmd 32
NO_OVERFLOW_SIMPLE 2 sector
UNITS 2 sector unit_byte
UNITS 3 blksize unit_byte

drivers/block/drbd/drbd_main.c drbd_send_ack_rp() -> _drbd_send_ack()

Type Parameter Key Value
PARAM_VALUE 0 peer_device 4096-ptr_max
PARAM_VALUE 0 peer_device->device 4096-ptr_max
PARAM_VALUE 0 peer_device->device->state.disk 0-7
PARAM_VALUE 0 peer_device->device->vdisk 4096-ptr_max
PARAM_VALUE 0 peer_device->device->vdisk->part0 4096-ptr_max
PARAM_VALUE 1 cmd 26-27
PARAM_VALUE 3 blksize 1-1048576
DATA_SOURCE 0 peer_device $0
DATA_SOURCE 1 cmd $1
HARD_MAX 0 peer_device->device->state.disk 7
HARD_MAX 1 cmd 27
NOCHECK_CALL
UNITS 2 sector unit_byte
UNITS 3 blksize unit_byte