Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/elx/libefc/efc_device.c __efc_d_device_gone() -> __efc_d_common()

Type Parameter Key Value
PARAM_VALUE 0 funcname 3039333331735445504
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->app 4096-ptr_max
PARAM_VALUE 1 ctx->app->current_evt s32min-s32max
PARAM_VALUE 1 ctx->app->prev_evt s32min-s32max
PARAM_VALUE 1 ctx->current_state 1-u64max
PARAM_VALUE 1 *ctx->app->prev_state_name 0-255
PARAM_VALUE 2 evt 1-48,50-51,53,55-62,64-u32max
BUF_SIZE 0 funcname 20
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_device.c __efc_d_device_ready() -> __efc_d_common()

Type Parameter Key Value
PARAM_VALUE 0 funcname 8507350852002885632
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->app 4096-ptr_max
PARAM_VALUE 1 ctx->app->current_evt s32min-s32max
PARAM_VALUE 1 ctx->app->prev_evt s32min-s32max
PARAM_VALUE 1 ctx->current_state 1-u64max
PARAM_VALUE 1 *ctx->app->prev_state_name 0-255
PARAM_VALUE 2 evt 1,3-33,35,37-46,50-51,53,57-58,60-64,66-u32max
BUF_SIZE 0 funcname 21
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_device.c __efc_d_init() -> __efc_d_common()

Type Parameter Key Value
PARAM_VALUE 0 funcname 7451661697299914752
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->app 4096-ptr_max
PARAM_VALUE 1 ctx->app->current_evt s32min-s32max
PARAM_VALUE 1 ctx->app->prev_evt s32min-s32max
PARAM_VALUE 1 ctx->current_state 1-u64max
PARAM_VALUE 1 *ctx->app->prev_state_name 0-255
PARAM_VALUE 2 evt 58
BUF_SIZE 0 funcname 13
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_device.c __efc_d_init() -> __efc_d_common()

Type Parameter Key Value
PARAM_VALUE 0 funcname 7451661697299914752
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->app 4096-ptr_max
PARAM_VALUE 1 ctx->app->current_evt s32min-s32max
PARAM_VALUE 1 ctx->app->prev_evt s32min-s32max
PARAM_VALUE 1 ctx->current_state 1-u64max
PARAM_VALUE 1 *ctx->app->prev_state_name 0-255
PARAM_VALUE 2 evt 1-12,14-51,61-62,64-u32max
BUF_SIZE 0 funcname 13
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_device.c __efc_d_initiate_shutdown() -> __efc_d_common()

Type Parameter Key Value
PARAM_VALUE 0 funcname 1540726116718481408
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->app 4096-ptr_max
PARAM_VALUE 1 ctx->app->current_evt s32min-s32max
PARAM_VALUE 1 ctx->app->prev_evt s32min-s32max
PARAM_VALUE 1 ctx->current_state 1-u64max
PARAM_VALUE 1 *ctx->app->prev_state_name 0-255
PARAM_VALUE 2 evt 1-3,5-u32max
BUF_SIZE 0 funcname 26
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_device.c __efc_d_port_logged_in() -> __efc_d_common()

Type Parameter Key Value
PARAM_VALUE 0 funcname 8552045434774888448
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->app 4096-ptr_max
PARAM_VALUE 1 ctx->app->current_evt s32min-s32max
PARAM_VALUE 1 ctx->app->prev_evt s32min-s32max
PARAM_VALUE 1 ctx->current_state 1-u64max
PARAM_VALUE 1 *ctx->app->prev_state_name 0-255
PARAM_VALUE 2 evt 1-32,36,38-51,53,56-62,64-67,70-u32max
BUF_SIZE 0 funcname 23
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_device.c __efc_d_wait_adisc_rsp() -> __efc_d_common()

Type Parameter Key Value
PARAM_VALUE 0 funcname 6043047127263612928
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->app 4096-ptr_max
PARAM_VALUE 1 ctx->app->current_evt s32min-s32max
PARAM_VALUE 1 ctx->app->prev_evt s32min-s32max
PARAM_VALUE 1 ctx->current_state 1-u64max
PARAM_VALUE 1 *ctx->app->prev_state_name 0-255
PARAM_VALUE 2 evt 0-32,34-36,38-53,55-u32max
BUF_SIZE 0 funcname 23
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_device.c __efc_d_wait_attach_evt_shutdown() -> __efc_d_common()

Type Parameter Key Value
PARAM_VALUE 0 funcname 8547274187680358400
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->app 4096-ptr_max
PARAM_VALUE 1 ctx->app->current_evt s32min-s32max
PARAM_VALUE 1 ctx->app->prev_evt s32min-s32max
PARAM_VALUE 1 ctx->current_state 1-u64max
PARAM_VALUE 1 *ctx->app->prev_state_name 0-255
PARAM_VALUE 2 evt 1,4-37,40-49,52-u32max
BUF_SIZE 0 funcname 33
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_device.c __efc_d_wait_del_ini_tgt() -> __efc_d_common()

Type Parameter Key Value
PARAM_VALUE 0 funcname 159116592117411840
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->app 4096-ptr_max
PARAM_VALUE 1 ctx->app->current_evt s32min-s32max
PARAM_VALUE 1 ctx->app->prev_evt s32min-s32max
PARAM_VALUE 1 ctx->current_state 1-u64max
PARAM_VALUE 1 *ctx->app->prev_state_name 0-255
PARAM_VALUE 2 evt 1,5-12,14-34,36-49,52-64,68-u32max
BUF_SIZE 0 funcname 25
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_device.c __efc_d_wait_del_node() -> __efc_d_common()

Type Parameter Key Value
PARAM_VALUE 0 funcname 7005796447652413440
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->app 4096-ptr_max
PARAM_VALUE 1 ctx->app->current_evt s32min-s32max
PARAM_VALUE 1 ctx->app->prev_evt s32min-s32max
PARAM_VALUE 1 ctx->current_state 1-u64max
PARAM_VALUE 1 *ctx->app->prev_state_name 0-255
PARAM_VALUE 2 evt 1,5-12,14-34,36-49,52-64,68-u32max
BUF_SIZE 0 funcname 22
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_device.c __efc_d_wait_domain_attach() -> __efc_d_common()

Type Parameter Key Value
PARAM_VALUE 0 funcname 1231572714121695232
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->app 4096-ptr_max
PARAM_VALUE 1 ctx->app->current_evt s32min-s32max
PARAM_VALUE 1 ctx->app->prev_evt s32min-s32max
PARAM_VALUE 1 ctx->current_state 1-u64max
PARAM_VALUE 1 *ctx->app->prev_state_name 0-255
PARAM_VALUE 2 evt 1,3-12,14-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

drivers/scsi/elx/libefc/efc_device.c __efc_d_wait_logo_acc_cmpl() -> __efc_d_common()

Type Parameter Key Value
PARAM_VALUE 0 funcname 7928858275828527104
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->app 4096-ptr_max
PARAM_VALUE 1 ctx->app->current_evt s32min-s32max
PARAM_VALUE 1 ctx->app->prev_evt s32min-s32max
PARAM_VALUE 1 ctx->current_state 1-u64max
PARAM_VALUE 1 *ctx->app->prev_state_name 0-255
PARAM_VALUE 2 evt 1,3-33,35,37-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

drivers/scsi/elx/libefc/efc_device.c __efc_d_wait_logo_rsp() -> __efc_d_common()

Type Parameter Key Value
PARAM_VALUE 0 funcname 5300297874190827520
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->app 4096-ptr_max
PARAM_VALUE 1 ctx->app->current_evt s32min-s32max
PARAM_VALUE 1 ctx->app->prev_evt s32min-s32max
PARAM_VALUE 1 ctx->current_state 1-u64max
PARAM_VALUE 1 *ctx->app->prev_state_name 0-255
PARAM_VALUE 2 evt 1,3-32,34,36,38-u32max
BUF_SIZE 0 funcname 22
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_device.c __efc_d_wait_loop() -> __efc_d_common()

Type Parameter Key Value
PARAM_VALUE 0 funcname 9087580452857073664
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->app 4096-ptr_max
PARAM_VALUE 1 ctx->app->current_evt s32min-s32max
PARAM_VALUE 1 ctx->app->prev_evt s32min-s32max
PARAM_VALUE 1 ctx->current_state 1-u64max
PARAM_VALUE 1 *ctx->app->prev_state_name 0-255
PARAM_VALUE 2 evt 1,3-12,14-u32max
BUF_SIZE 0 funcname 18
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_device.c __efc_d_wait_node_attach() -> __efc_d_common()

Type Parameter Key Value
PARAM_VALUE 0 funcname 4195892404021137408
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->app 4096-ptr_max
PARAM_VALUE 1 ctx->app->current_evt s32min-s32max
PARAM_VALUE 1 ctx->app->prev_evt s32min-s32max
PARAM_VALUE 1 ctx->current_state 1-u64max
PARAM_VALUE 1 *ctx->app->prev_state_name 0-255
PARAM_VALUE 2 evt 1,4-37,40-49,52-u32max
BUF_SIZE 0 funcname 25
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_device.c __efc_d_wait_plogi_acc_cmpl() -> __efc_d_common()

Type Parameter Key Value
PARAM_VALUE 0 funcname 4134776349701124096
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->app 4096-ptr_max
PARAM_VALUE 1 ctx->app->current_evt s32min-s32max
PARAM_VALUE 1 ctx->app->prev_evt s32min-s32max
PARAM_VALUE 1 ctx->current_state 1-u64max
PARAM_VALUE 1 *ctx->app->prev_state_name 0-255
PARAM_VALUE 2 evt 1,3-33,35,37-u32max
BUF_SIZE 0 funcname 28
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_device.c __efc_d_wait_plogi_rsp() -> __efc_d_common()

Type Parameter Key Value
PARAM_VALUE 0 funcname 6906225187171209216
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->app 4096-ptr_max
PARAM_VALUE 1 ctx->app->current_evt s32min-s32max
PARAM_VALUE 1 ctx->app->prev_evt s32min-s32max
PARAM_VALUE 1 ctx->current_state 1-u64max
PARAM_VALUE 1 *ctx->app->prev_state_name 0-255
PARAM_VALUE 2 evt 0-32,34,36,38-51,53,62,64-u32max
BUF_SIZE 0 funcname 23
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_device.c __efc_d_wait_plogi_rsp_recvd_prli() -> __efc_d_common()

Type Parameter Key Value
PARAM_VALUE 0 funcname 8624124964232032256
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->app 4096-ptr_max
PARAM_VALUE 1 ctx->app->current_evt s32min-s32max
PARAM_VALUE 1 ctx->app->prev_evt s32min-s32max
PARAM_VALUE 1 ctx->current_state 1-u64max
PARAM_VALUE 1 *ctx->app->prev_state_name 0-255
PARAM_VALUE 2 evt 1,3-32,34,36,38-u32max
BUF_SIZE 0 funcname 34
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_device.c __efc_d_wait_topology_notify() -> __efc_d_common()

Type Parameter Key Value
PARAM_VALUE 0 funcname 8816189015774658560
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->app 4096-ptr_max
PARAM_VALUE 1 ctx->app->current_evt s32min-s32max
PARAM_VALUE 1 ctx->app->prev_evt s32min-s32max
PARAM_VALUE 1 ctx->current_state 1-u64max
PARAM_VALUE 1 *ctx->app->prev_state_name 0-255
PARAM_VALUE 2 evt 1,3-12,14-25,27-u32max
BUF_SIZE 0 funcname 29
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