Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 0 m->cmnd_size 0-s32max
PARAM_VALUE 0 m->curlun->filp->f_mapping->host->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 m->data_dir 1
PARAM_VALUE 0 m->filesem.dep_map->name 0-255
PARAM_VALUE 0 m->filesem.first_waiter->handoff_set 1
PARAM_VALUE 0 m->filesem.first_waiter->list.next 2212933610777083904,2624917664208203776
PARAM_VALUE 0 m->filesem.first_waiter->list.prev 2212933610777083904,2624917664208203776
PARAM_VALUE 0 m->filesem.first_waiter->type 0-1
PARAM_VALUE 0 m->io_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 m->io_wait.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 m->next_buffhd_to_drain->state 0
PARAM_VALUE 0 m->next_buffhd_to_fill 1-u64max
PARAM_VALUE 0 m->next_buffhd_to_fill->state 0-s32max
PARAM_VALUE 0 m->residue 1-u32max
PARAM_VALUE 0 m->short_packet_received 1
PARAM_VALUE 0 m->state 0
PARAM_VALUE 1 pregs 1
BUF_SIZE 0 m 128
BUF_SIZE 0 m 128
CAPPED_DATA 0 m->cmnd_size 1
DATA_SOURCE 0 m $0
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 0 m->state 0-4,6-u32max
PARAM_VALUE 0 m->thread_task 1-u64max
PARAM_VALUE 1 pregs 4
FUZZY_MAX 0 m->state 0
STR_LEN 0 m->cdev (-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 0 m->state 0-4,6-u32max
PARAM_VALUE 1 pregs 4
DATA_SOURCE 0 m $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &subsys->su_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 0 m->ep0req 4096-ptr_max
PARAM_VALUE 0 m->fsg 1-u64max
PARAM_VALUE 1 pregs 2
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 0 m->cmnd_size 0-s32max
PARAM_VALUE 0 m->curlun->filp->f_mapping->host->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 m->data_dir 1
PARAM_VALUE 0 m->filesem.dep_map->name 0-255
PARAM_VALUE 0 m->filesem.first_waiter->handoff_set 1
PARAM_VALUE 0 m->filesem.first_waiter->list.next 2212933610777083904,2624917664208203776
PARAM_VALUE 0 m->filesem.first_waiter->list.prev 2212933610777083904,2624917664208203776
PARAM_VALUE 0 m->filesem.first_waiter->type 0-1
PARAM_VALUE 0 m->io_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 m->io_wait.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 m->next_buffhd_to_fill 4096-ptr_max
PARAM_VALUE 0 m->residue 1-u32max
PARAM_VALUE 0 m->short_packet_received 0
PARAM_VALUE 0 m->state 0
PARAM_VALUE 1 pregs 1
BUF_SIZE 0 m 128
BUF_SIZE 0 m 128
CAPPED_DATA 0 m->cmnd_size 1
DATA_SOURCE 0 m $0
NOCHECK_CALL

arch/x86/kernel/cpu/mce/inject.c mce_irq_ipi() -> raise_exception()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 0 m->inject_flags 8-255
PARAM_VALUE 1 pregs 0
BIT_INFO 0 m->inject_flags 0x8,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

arch/x86/kernel/cpu/mce/inject.c mce_raise_notify() -> raise_exception()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 0 m->inject_flags 8-255
PARAM_VALUE 1 pregs 4096-ptr_max
CAPPED_DATA 1 pregs 1
DATA_SOURCE 1 pregs $1
BIT_INFO 0 m->inject_flags 0x8,0xff
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 global &nmi_reason_lock

arch/x86/kernel/cpu/mce/inject.c raise_local() -> raise_exception()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 0 m->inject_flags 8-255
PARAM_VALUE 1 pregs 0
BIT_INFO 0 m->inject_flags 0x8,0xff
PREEMPT_ADD
NOCHECK_CALL
LOCK2 global &mce_inject_mutex