Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/gadget/function/f_mass_storage.c fsg_disable() -> __raise_exception()

Type Parameter Key Value
PARAM_VALUE 1 new_state 3
PARAM_VALUE 2 arg 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/gadget/function/f_mass_storage.c fsg_set_alt() -> __raise_exception()

Type Parameter Key Value
PARAM_VALUE 1 new_state 3
PARAM_VALUE 2 arg 4096-ptr_max
DATA_SOURCE 2 arg r fsg_from_func
NOCHECK_CALL

drivers/usb/gadget/function/f_mass_storage.c fsg_unbind() -> __raise_exception()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
PARAM_VALUE 0 common->fsg 4096-ptr_max
PARAM_VALUE 1 new_state 3
PARAM_VALUE 2 arg 0
CAPPED_DATA 0 common->fsg 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/gadget/function/f_mass_storage.c raise_exception() -> __raise_exception()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
PARAM_VALUE 0 common->curlun->filp->f_mapping->host->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 common->filesem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 common->filesem.first_waiter->type 0-1
PARAM_VALUE 1 new_state 1-2,4
PARAM_VALUE 2 arg 0
BUF_SIZE 0 common (-1),128
BUF_SIZE 0 common (-1),128
DATA_SOURCE 0 common $0
DATA_SOURCE 1 new_state $1
STR_LEN 0 common->cdev (-1)
HARD_MAX 1 new_state 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL