Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/802/mrp.c mrp_pdu_append_msg_hdr() -> mrp_pdu_append_end_mark()

Type Parameter Key Value
PARAM_VALUE 0 app 4096-ptr_max
PARAM_VALUE 0 app->app->version 0
PARAM_VALUE 0 app->dev->ndisc_ops->fill_addr_option 9149257602806276096
PARAM_VALUE 0 app->dev->ndisc_ops->parse_options 4570881757937598464
PARAM_VALUE 0 app->dev->ndisc_ops->update 8455145027589103616
PARAM_VALUE 0 app->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 app->mad.rb_node 4096-ptr_max
PARAM_VALUE 0 app->pdu 1-u64max
DATA_SOURCE 0 app $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &app->lock
HALF_LOCKED2 bh
TYPE_LOCK (struct mrp_applicant)->lock

net/802/mrp.c mrp_pdu_queue() -> mrp_pdu_append_end_mark()

Type Parameter Key Value
PARAM_VALUE 0 app 4096-ptr_max
PARAM_VALUE 0 app->app->version 0
PARAM_VALUE 0 app->dev->ndisc_ops->fill_addr_option 9149257602806276096
PARAM_VALUE 0 app->dev->ndisc_ops->parse_options 4570881757937598464
PARAM_VALUE 0 app->dev->ndisc_ops->update 8455145027589103616
PARAM_VALUE 0 app->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 app->pdu 1-u64max
PARAM_VALUE 0 app->pdu->data_len 0-1
DATA_SOURCE 0 app $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &app->lock
HALF_LOCKED2 bh
TYPE_LOCK (struct mrp_applicant)->lock

net/802/mrp.c mrp_pdu_queue() -> mrp_pdu_append_end_mark()

Type Parameter Key Value
PARAM_VALUE 0 app 4096-ptr_max
PARAM_VALUE 0 app->app->version 0
PARAM_VALUE 0 app->dev->ndisc_ops->fill_addr_option 9149257602806276096
PARAM_VALUE 0 app->dev->ndisc_ops->parse_options 4570881757937598464
PARAM_VALUE 0 app->dev->ndisc_ops->update 8455145027589103616
PARAM_VALUE 0 app->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 app->pdu 1-u64max
PARAM_VALUE 0 app->pdu->data_len 0-1
DATA_SOURCE 0 app $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &app->lock
HALF_LOCKED2 bh
TYPE_LOCK (struct mrp_applicant)->lock