Defined in 1 files as a member:

Defined in 2 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/video/fbdev/pm2fb.c pm2fb_set_par() -> reset_config()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
BUF_SIZE 0 p 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
BUF_SIZE 0 p 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 p unit_byte
HALF_LOCKED2 &minfo->crtc2.lock

drivers/usb/gadget/composite.c __composite_disconnect() -> reset_config()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->config 1-u64max
PARAM_VALUE 0 p->suspended 0
BUF_SIZE 0 p s32min-(-2),1-s32max
BUF_SIZE 0 p s32min-(-2),1-s32max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 p unit_byte
LOCK2 flags
LOCK2 0 &p->lock
HALF_LOCKED2 &gi->spinlock
HALF_LOCKED2 flags
TYPE_LOCK (struct usb_composite_dev)->lock

drivers/usb/gadget/composite.c set_config() -> reset_config()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->config 1-u64max
PARAM_VALUE 0 p->gadget 4096-ptr_max
CAPPED_DATA 0 &p->configs 1
DATA_SOURCE 0 p $0
NOCHECK_CALL

drivers/usb/gadget/composite.c set_config() -> reset_config()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->config 1-u64max
PARAM_VALUE 0 p->gadget 4096-ptr_max
DATA_SOURCE 0 p $0
NOCHECK_CALL

drivers/usb/gadget/composite.c set_config() -> reset_config()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->config 4096-ptr_max
PARAM_VALUE 0 p->config->bConfigurationValue 1-255
PARAM_VALUE 0 p->gadget 4096-ptr_max
PARAM_VALUE 0 p->gadget->state_lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 p->config->bConfigurationValue 1
CAPPED_DATA 0 &p->configs 1
DATA_SOURCE 0 p $0
NOCHECK_CALL