Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/chip.c hfi1_rcvctrl() -> write_uctxt_csr()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 1 ctxt 0-255
PARAM_VALUE 2 offset0 19922952
PARAM_VALUE 3 value 0
BUF_SIZE 0 dd s32min-(-1),1-s32max
BUF_SIZE 0 dd s32min-(-1),1-s32max
BUF_SIZE 0 dd->status (-1),4096
DATA_SOURCE 0 dd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dd->pcidev->current_state 0-3[c]
NO_OVERFLOW_SIMPLE 0 dd->num_pports
NO_OVERFLOW_SIMPLE 0 dd->verbs_dev.rdi.dparms.nports
NO_OVERFLOW_SIMPLE 0 dd->verbs_dev.rdi.ibdev.hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 dd->verbs_dev.rdi.qp_dev->qp_table_size
UNITS 0 dd unit_byte
UNITS 1 ctxt unit_array_size
HALF_LOCKED2 global &hfi1_mutex
HALF_LOCKED2 irq
HALF_LOCKED2 0 &dd->uctxt_lock

drivers/infiniband/hw/hfi1/chip.c hfi1_rcvctrl() -> write_uctxt_csr()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 1 ctxt 0-255
PARAM_VALUE 2 offset0 19922968
PARAM_VALUE 3 value 0
BUF_SIZE 0 dd s32min-(-1),1-s32max
BUF_SIZE 0 dd s32min-(-1),1-s32max
BUF_SIZE 0 dd->status (-1),4096
DATA_SOURCE 0 dd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dd->pcidev->current_state 0-3[c]
NO_OVERFLOW_SIMPLE 0 dd->num_pports
NO_OVERFLOW_SIMPLE 0 dd->verbs_dev.rdi.dparms.nports
NO_OVERFLOW_SIMPLE 0 dd->verbs_dev.rdi.ibdev.hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 dd->verbs_dev.rdi.qp_dev->qp_table_size
UNITS 0 dd unit_byte
UNITS 1 ctxt unit_array_size
HALF_LOCKED2 global &hfi1_mutex
HALF_LOCKED2 irq
HALF_LOCKED2 0 &dd->uctxt_lock

drivers/infiniband/hw/hfi1/chip.c hfi1_rcvctrl() -> write_uctxt_csr()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 1 ctxt 0-255
PARAM_VALUE 2 offset0 19922952
PARAM_VALUE 3 value 16
BUF_SIZE 0 dd s32min-(-1),1-s32max
BUF_SIZE 0 dd s32min-(-1),1-s32max
BUF_SIZE 0 dd->status (-1),4096
DATA_SOURCE 0 dd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dd->pcidev->current_state 0-3[c]
NO_OVERFLOW_SIMPLE 0 dd->num_pports
NO_OVERFLOW_SIMPLE 0 dd->verbs_dev.rdi.dparms.nports
NO_OVERFLOW_SIMPLE 0 dd->verbs_dev.rdi.ibdev.hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 dd->verbs_dev.rdi.qp_dev->qp_table_size
UNITS 0 dd unit_byte
UNITS 1 ctxt unit_array_size
HALF_LOCKED2 global &hfi1_mutex
HALF_LOCKED2 irq
HALF_LOCKED2 0 &dd->uctxt_lock

drivers/infiniband/hw/hfi1/chip.c hfi1_rcvctrl() -> write_uctxt_csr()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 1 ctxt 0-255
PARAM_VALUE 2 offset0 19922952
PARAM_VALUE 3 value 0
BUF_SIZE 0 dd s32min-(-1),1-s32max
BUF_SIZE 0 dd s32min-(-1),1-s32max
BUF_SIZE 0 dd->status (-1),4096
DATA_SOURCE 0 dd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dd->pcidev->current_state 0-3[c]
NO_OVERFLOW_SIMPLE 0 dd->num_pports
NO_OVERFLOW_SIMPLE 0 dd->verbs_dev.rdi.dparms.nports
NO_OVERFLOW_SIMPLE 0 dd->verbs_dev.rdi.ibdev.hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 dd->verbs_dev.rdi.qp_dev->qp_table_size
UNITS 0 dd unit_byte
UNITS 1 ctxt unit_array_size
HALF_LOCKED2 global &hfi1_mutex
HALF_LOCKED2 irq
HALF_LOCKED2 0 &dd->uctxt_lock

drivers/infiniband/hw/hfi1/chip.c hfi1_rcvctrl() -> write_uctxt_csr()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 1 ctxt 0-255
PARAM_VALUE 2 offset0 19922952
PARAM_VALUE 3 value 0,4294967296-18446744069414584320
BUF_SIZE 0 dd s32min-(-1),1-s32max
BUF_SIZE 0 dd s32min-(-1),1-s32max
BUF_SIZE 0 dd->status (-1),4096
DATA_SOURCE 0 dd $0
BIT_INFO 3 value 0x0,0xffffffff00000000
BIT_INFO 3 value 0x0,0xffffffff00000000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dd->pcidev->current_state 0-3[c]
NO_OVERFLOW_SIMPLE 0 dd->num_pports
NO_OVERFLOW_SIMPLE 0 dd->verbs_dev.rdi.dparms.nports
NO_OVERFLOW_SIMPLE 0 dd->verbs_dev.rdi.ibdev.hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 dd->verbs_dev.rdi.qp_dev->qp_table_size
UNITS 0 dd unit_byte
UNITS 1 ctxt unit_array_size
HALF_LOCKED2 global &hfi1_mutex
HALF_LOCKED2 irq
HALF_LOCKED2 0 &dd->uctxt_lock

drivers/infiniband/hw/hfi1/chip.c reset_rxe_csrs() -> write_uctxt_csr()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 1 ctxt 0-s32max
PARAM_VALUE 2 offset0 19922952
PARAM_VALUE 3 value 0
CAPPED_DATA 1 ctxt 1
DATA_SOURCE 0 dd $0
NOCHECK_CALL

drivers/infiniband/hw/hfi1/chip.c reset_rxe_csrs() -> write_uctxt_csr()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 1 ctxt 0-s32max
PARAM_VALUE 2 offset0 19922968
PARAM_VALUE 3 value 0
CAPPED_DATA 1 ctxt 1
DATA_SOURCE 0 dd $0
NOCHECK_CALL

drivers/infiniband/hw/hfi1/chip.c reset_rxe_csrs() -> write_uctxt_csr()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 1 ctxt 0-s32max
PARAM_VALUE 2 offset0 19924992-19925240
PARAM_VALUE 3 value 0
CAPPED_DATA 1 ctxt 1
DATA_SOURCE 0 dd $0
NOCHECK_CALL

drivers/infiniband/hw/hfi1/chip.c update_usrhead() -> write_uctxt_csr()

Type Parameter Key Value
PARAM_VALUE 1 ctxt 0-255
PARAM_VALUE 2 offset0 19922968
PARAM_VALUE 3 value 0-2047
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 ctxt unit_array_size

drivers/infiniband/hw/hfi1/chip.c update_usrhead() -> write_uctxt_csr()

Type Parameter Key Value
PARAM_VALUE 1 ctxt 0-255
PARAM_VALUE 2 offset0 19922952
BIT_INFO 3 value 0x0,0xffffffff0007ffff
BIT_INFO 3 value 0x0,0xffffffff0007ffff
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 ctxt unit_array_size

drivers/infiniband/hw/hfi1/chip.c write_uninitialized_csrs_and_memories() -> write_uctxt_csr()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 1 ctxt 0-s32max
PARAM_VALUE 2 offset0 19924992-19925240
PARAM_VALUE 3 value 0
CAPPED_DATA 1 ctxt 1
DATA_SOURCE 0 dd $0
NOCHECK_CALL

drivers/infiniband/hw/hfi1/tid_rdma.c kern_set_hw_flow() -> write_uctxt_csr()

Type Parameter Key Value
PARAM_VALUE 2 offset0 19924992-19925240
BIT_INFO 3 value 0x6d00000000,0x7fffffff800
BIT_INFO 3 value 0x6d00000000,0x7fffffff800
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 ctxt unit_array_size
HALF_LOCKED2 &qp->s_lock
HALF_LOCKED2 &rcd->exp_lock
HALF_LOCKED2 flags