Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/elx/libefc/efc_domain.c __efc_domain_wait_domain_lost() -> __efc_domain_common_shutdown()

Type Parameter Key Value
PARAM_VALUE 0 funcname 2627738895269560320
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->app 4096-ptr_max
PARAM_VALUE 1 ctx->current_state 1-u64max
PARAM_VALUE 2 evt 0-9,12,15-u32max
BUF_SIZE 0 funcname 30
BUF_SIZE 3 arg (-1),4,80,548
BUF_SIZE 3 arg (-1),4,80,548
DATA_SOURCE 1 ctx $0
DATA_SOURCE 2 evt $1
DATA_SOURCE 3 arg $2
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 3 arg->els_rsp.phys
NO_OVERFLOW_SIMPLE 3 arg->els_rsp.size
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &efc->lock
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 flags

drivers/scsi/elx/libefc/efc_domain.c __efc_domain_wait_nports_free() -> __efc_domain_common_shutdown()

Type Parameter Key Value
PARAM_VALUE 0 funcname 5266984310177964032
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->app 4096-ptr_max
PARAM_VALUE 1 ctx->current_state 1-u64max
PARAM_VALUE 2 evt 0-3,5-u32max
BUF_SIZE 0 funcname 30
BUF_SIZE 3 arg (-1),4,80,548
BUF_SIZE 3 arg (-1),4,80,548
DATA_SOURCE 1 ctx $0
DATA_SOURCE 2 evt $1
DATA_SOURCE 3 arg $2
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 3 arg->els_rsp.phys
NO_OVERFLOW_SIMPLE 3 arg->els_rsp.size
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &efc->lock
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 flags

drivers/scsi/elx/libefc/efc_domain.c __efc_domain_wait_shutdown() -> __efc_domain_common_shutdown()

Type Parameter Key Value
PARAM_VALUE 0 funcname 5955003264587173888
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->app 4096-ptr_max
PARAM_VALUE 1 ctx->current_state 1-u64max
PARAM_VALUE 2 evt 0-15,17-u32max
BUF_SIZE 0 funcname 27
BUF_SIZE 3 arg (-1),4,80,548
BUF_SIZE 3 arg (-1),4,80,548
DATA_SOURCE 1 ctx $0
DATA_SOURCE 2 evt $1
DATA_SOURCE 3 arg $2
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 3 arg->els_rsp.phys
NO_OVERFLOW_SIMPLE 3 arg->els_rsp.size
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &efc->lock
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 flags