Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/hw/mthca/mthca_mad.c mthca_process_mad() -> forward_trap()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 2 mad 4096-ptr_max
PARAM_VALUE 2 mad->mad_hdr.method 5
BUF_SIZE 2 mad (-1),376,392,408,416,608,2400
BUF_SIZE 2 mad (-1),376,392,408,416,608,2400
DATA_SOURCE 1 port_num $2
DATA_SOURCE 2 mad $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/mlx4/mad.c ib_process_mad() -> forward_trap()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 2 mad 4096-ptr_max
PARAM_VALUE 2 mad->mad_hdr.method 5
BUF_SIZE 2 mad (-1),256,376,392,408,416,608,2400
BUF_SIZE 2 mad (-1),256,376,392,408,416,608,2400
DATA_SOURCE 1 port_num $2
DATA_SOURCE 2 mad $5
BIT_INFO 2 mad->mad_hdr.attr_id 0x0,0x1f
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL