Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/rbd.c __rbd_osd_setup_discard_ops() -> truncate_or_zero_opcode()

Type Parameter Key Value
PARAM_VALUE 0 obj_req 4096-ptr_max
PARAM_VALUE 0 obj_req->ex.oe_len 0-u32max
PARAM_VALUE 0 obj_req->ex.oe_off 0
PARAM_VALUE 0 obj_req->img_request 4096-ptr_max
BUF_SIZE 0 obj_req 1-s32max
BUF_SIZE 0 obj_req 1-s32max
CAPPED_DATA 0 obj_req->ex.oe_len 1
UNITS 0 obj_req unit_byte
LOCK2 &obj_req->state_mutex
HALF_LOCKED2 &img_req->state_mutex
TYPE_LOCK (struct rbd_obj_request)->state_mutex

drivers/block/rbd.c __rbd_osd_setup_zeroout_ops() -> truncate_or_zero_opcode()

Type Parameter Key Value
PARAM_VALUE 0 obj_req 4096-ptr_max
PARAM_VALUE 0 obj_req->img_request 4096-ptr_max
BUF_SIZE 0 obj_req 1-s32max
BUF_SIZE 0 obj_req 1-s32max
UNITS 0 obj_req unit_byte
LOCK2 &obj_req->state_mutex
HALF_LOCKED2 &img_req->state_mutex
TYPE_LOCK (struct rbd_obj_request)->state_mutex