Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/init.c hfi1_create_kctxt() -> get_dma_rtail_setting()

Type Parameter Key Value
PARAM_VALUE 0 rcd 4096-ptr_max
PARAM_VALUE 0 rcd->flags 0-1024
BIT_INFO 0 rcd->flags 0x0,0x381
NO_OVERFLOW_SIMPLE 0 rcd->egrbufs.count

drivers/infiniband/hw/hfi1/driver.c handle_receive_interrupt() -> get_dma_rtail_setting()

Type Parameter Key Value
PARAM_VALUE 0 rcd 4096-ptr_max
DATA_SOURCE 0 rcd $0
TASK_NOT_RUNNING

drivers/infiniband/hw/hfi1/driver.c handle_receive_interrupt() -> get_dma_rtail_setting()

Type Parameter Key Value
PARAM_VALUE 0 rcd 4096-ptr_max
DATA_SOURCE 0 rcd $0
TASK_NOT_RUNNING

drivers/infiniband/hw/hfi1/driver.c init_ps_mdata() -> get_dma_rtail_setting()

Type Parameter Key Value
PARAM_VALUE 0 rcd 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &s->lock

drivers/infiniband/hw/hfi1/driver.c ps_done() -> get_dma_rtail_setting()

Type Parameter Key Value
PARAM_VALUE 0 rcd 4096-ptr_max
DATA_SOURCE 0 rcd $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &s->lock

drivers/infiniband/hw/hfi1/driver.c seqfile_dump_rcd() -> get_dma_rtail_setting()

Type Parameter Key Value
PARAM_VALUE 0 rcd 4096-ptr_max
DATA_SOURCE 0 rcd $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &s->lock
TYPE_LOCK (struct seq_file)->lock

drivers/infiniband/hw/hfi1/driver.c update_ps_mdata() -> get_dma_rtail_setting()

Type Parameter Key Value
PARAM_VALUE 0 rcd 4096-ptr_max
DATA_SOURCE 0 rcd $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &s->lock