Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

Type Parameter Key Value
TASK_NOT_RUNNING

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

Type Parameter Key Value
TASK_NOT_RUNNING

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

Type Parameter Key Value
TASK_NOT_RUNNING

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

Type Parameter Key Value
TASK_NOT_RUNNING

drivers/infiniband/hw/hfi1/driver.c handle_receive_interrupt_napi_fp() -> rhf_rcv_seq()

Type Parameter Key Value
TASK_NOT_RUNNING

drivers/infiniband/hw/hfi1/driver.c handle_receive_interrupt_napi_fp() -> rhf_rcv_seq()

Type Parameter Key Value
TASK_NOT_RUNNING

drivers/infiniband/hw/hfi1/driver.c handle_receive_interrupt_napi_sp() -> rhf_rcv_seq()

Type Parameter Key Value
TASK_NOT_RUNNING

drivers/infiniband/hw/hfi1/driver.c handle_receive_interrupt_napi_sp() -> rhf_rcv_seq()

Type Parameter Key Value
TASK_NOT_RUNNING

drivers/infiniband/hw/hfi1/driver.c handle_receive_interrupt_nodma_rtail() -> rhf_rcv_seq()

Type Parameter Key Value
TASK_NOT_RUNNING

drivers/infiniband/hw/hfi1/driver.c handle_receive_interrupt_nodma_rtail() -> rhf_rcv_seq()

Type Parameter Key Value
TASK_NOT_RUNNING

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

Type Parameter Key Value
DATA_SOURCE 0 rhf $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &s->lock

drivers/infiniband/hw/hfi1/driver.c ps_skip() -> rhf_rcv_seq()

Type Parameter Key Value
DATA_SOURCE 0 rhf $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &s->lock

drivers/infiniband/hw/hfi1/chip.c hfi1_packet_present() -> rhf_rcv_seq()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags