Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/media/usb/dvb-usb/pctv452e.c tt3650_ci_slot_shutdown() -> tt3650_ci_set_video_port()

Type Parameter Key Value
PARAM_VALUE 0 ca 4096-ptr_max
PARAM_VALUE 1 slot 0-s32max
PARAM_VALUE 2 enable 0
CAPPED_DATA 1 slot 1
DATA_SOURCE 0 ca $0
DATA_SOURCE 1 slot $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ca->ioctl_mutex
HALF_LOCKED2 &sl->slot_lock

drivers/media/usb/dvb-usb/pctv452e.c tt3650_ci_slot_ts_enable() -> tt3650_ci_set_video_port()

Type Parameter Key Value
PARAM_VALUE 0 ca 4096-ptr_max
PARAM_VALUE 1 slot 0-2147483646
PARAM_VALUE 2 enable 1
CAPPED_DATA 1 slot 1
DATA_SOURCE 0 ca $0
DATA_SOURCE 1 slot $1
LOCK2 &sl->slot_lock
TYPE_LOCK (struct dvb_ca_slot)->slot_lock

drivers/media/usb/dvb-usb/pctv452e.c tt3650_ci_uninit() -> tt3650_ci_set_video_port()

Type Parameter Key Value
PARAM_VALUE 0 ca 4096-ptr_max
PARAM_VALUE 0 ca->data 1-u64max
PARAM_VALUE 1 slot 0
PARAM_VALUE 2 enable 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/dvb-usb/ttusb2.c tt3650_ci_slot_shutdown() -> tt3650_ci_set_video_port()

Type Parameter Key Value
PARAM_VALUE 0 ca 4096-ptr_max
PARAM_VALUE 1 slot 0-s32max
PARAM_VALUE 2 enable 0
CAPPED_DATA 1 slot 1
DATA_SOURCE 0 ca $0
DATA_SOURCE 1 slot $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ca->ioctl_mutex
HALF_LOCKED2 &sl->slot_lock

drivers/media/usb/dvb-usb/ttusb2.c tt3650_ci_slot_ts_enable() -> tt3650_ci_set_video_port()

Type Parameter Key Value
PARAM_VALUE 0 ca 4096-ptr_max
PARAM_VALUE 1 slot 0-2147483646
PARAM_VALUE 2 enable 1
CAPPED_DATA 1 slot 1
DATA_SOURCE 0 ca $0
DATA_SOURCE 1 slot $1
LOCK2 &sl->slot_lock
TYPE_LOCK (struct dvb_ca_slot)->slot_lock