Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/usb/dwc3/debugfs.c dwc3_mode_write() -> dwc3_set_mode()

Type Parameter Key Value
PARAM_VALUE 0 dwc 4096-ptr_max
PARAM_VALUE 0 dwc->dr_mode 3
PARAM_VALUE 1 mode 0-3
BUF_SIZE 0 dwc s32min-(-2),1-s32max
BUF_SIZE 0 dwc s32min-(-2),1-s32max
FUZZY_MAX 1 mode 3
HARD_MAX 1 mode 3
NOCHECK_CALL
UNITS 0 dwc unit_array_size

drivers/usb/dwc3/drd.c dwc3_drd_init() -> dwc3_set_mode()

Type Parameter Key Value
PARAM_VALUE 0 dwc 4096-ptr_max
PARAM_VALUE 0 dwc->current_dr_role 3
PARAM_VALUE 0 dwc->dr_mode 3
PARAM_VALUE 0 dwc->edev 0
PARAM_VALUE 0 dwc->otg_irq 1-s32max
PARAM_VALUE 1 mode 3
DATA_SOURCE 0 dwc $0
NOCHECK_CALL

drivers/usb/dwc3/drd.c dwc3_drd_notifier() -> dwc3_set_mode()

Type Parameter Key Value
PARAM_VALUE 0 dwc 4096-ptr_max
PARAM_VALUE 0 dwc->dev->power.request 0-4
PARAM_VALUE 0 dwc->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dwc->dev->power.runtime_status 0,2
PARAM_VALUE 0 dwc->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dwc->glue_ops 0,4096-ptr_max
PARAM_VALUE 1 mode 1-2
FUZZY_MAX 1 mode 2
HARD_MAX 1 mode 2
NOCHECK_CALL

drivers/usb/dwc3/drd.c dwc3_drd_update() -> dwc3_set_mode()

Type Parameter Key Value
PARAM_VALUE 0 dwc 4096-ptr_max
PARAM_VALUE 0 dwc->dr_mode 3
PARAM_VALUE 0 dwc->edev 4096-ptr_max
PARAM_VALUE 0 dwc->edev->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dwc->edev->max_supported 1-s32max
PARAM_VALUE 0 dwc->edev_nb.next 0,4096-ptr_max
PARAM_VALUE 0 dwc->edev_nb.notifier_call 7834927615591526400
PARAM_VALUE 1 mode 1-2
CAPPED_DATA 0 dwc->edev->max_supported 1
DATA_SOURCE 0 dwc $0
FUZZY_MAX 1 mode 2
HARD_MAX 1 mode 2
NOCHECK_CALL

drivers/usb/dwc3/drd.c dwc3_otg_thread_irq() -> dwc3_set_mode()

Type Parameter Key Value
PARAM_VALUE 0 dwc 4096-ptr_max
PARAM_VALUE 0 dwc->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dwc->otg_restart_host 0
PARAM_VALUE 1 mode 3
DATA_SOURCE 0 dwc $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/dwc3/drd.c dwc3_setup_role_switch() -> dwc3_set_mode()

Type Parameter Key Value
PARAM_VALUE 0 dwc 4096-ptr_max
PARAM_VALUE 0 dwc->dr_mode 3
PARAM_VALUE 0 dwc->role_switch_default_mode 1-2
PARAM_VALUE 1 mode 1-2
CAPPED_DATA 0 dwc->role_switch_default_mode 1
DATA_SOURCE 0 dwc $0
FUZZY_MAX 0 dwc->role_switch_default_mode 2
FUZZY_MAX 1 mode 2
HARD_MAX 1 mode 2
NOCHECK_CALL

drivers/usb/dwc3/drd.c dwc3_usb_role_switch_set() -> dwc3_set_mode()

Type Parameter Key Value
PARAM_VALUE 0 dwc 4096-ptr_max
PARAM_VALUE 0 dwc->dev->power.request 0-4
PARAM_VALUE 0 dwc->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dwc->dev->power.runtime_status 0,2
PARAM_VALUE 0 dwc->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dwc->glue_ops 0,4096-ptr_max
PARAM_VALUE 1 mode 1-2
BUF_SIZE 0 dwc s32min-(-2),1-s32max
BUF_SIZE 0 dwc s32min-(-2),1-s32max
DATA_SOURCE 0 dwc r usb_role_switch_get_drvdata
FUZZY_MAX 1 mode 2
HARD_MAX 1 mode 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sw->lock
HALF_LOCKED2 &con->lock
HALF_LOCKED2 &info->mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct usb_role_switch)->lock