Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/pio.c init_pervl_scs() -> sc_enable()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
NOCHECK_CALL

drivers/infiniband/hw/hfi1/pio.c init_pervl_scs() -> sc_enable()

Type Parameter Key Value
NOCHECK_CALL

drivers/infiniband/hw/hfi1/pio.c init_pervl_scs() -> sc_enable()

Type Parameter Key Value
NOCHECK_CALL

drivers/infiniband/hw/hfi1/pio.c pio_kernel_linkup() -> sc_enable()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->flags 16-u16max
PARAM_VALUE 0 sc->type 0-2,4-255
BIT_INFO 0 sc->flags 0x10,0xffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ppd->hls_lock
TYPE_LOCK (struct hfi1_pportdata)->hls_lock

drivers/infiniband/hw/hfi1/pio.c pio_kernel_unfreeze() -> sc_enable()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->flags 8-u16max
PARAM_VALUE 0 sc->type 0-2,4-255
BIT_INFO 0 sc->flags 0x8,0xffef
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/hfi1/pio.c sc_restart() -> sc_enable()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->alloc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sc->dd 4096-ptr_max
PARAM_VALUE 0 sc->flags 0,2-65534
PARAM_VALUE 0 sc->release_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sc->waitlock.seqcount.seqcount.dep_map->name 0-255
DATA_SOURCE 0 sc $0
TASK_NOT_RUNNING

drivers/infiniband/hw/hfi1/file_ops.c allocate_ctxt() -> sc_enable()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->buffers_allocated 4096-ptr_max
PARAM_VALUE 0 sc->credit_ctrl 0-4295032831
PARAM_VALUE 0 sc->credits 0-u16max
PARAM_VALUE 0 sc->dd 4096-ptr_max
PARAM_VALUE 0 sc->dd->cr_base 4096-ptr_max
PARAM_VALUE 0 sc->dd->num_send_contexts 1-u32max
PARAM_VALUE 0 sc->dd->send_contexts 4096-ptr_max
PARAM_VALUE 0 sc->group 0
PARAM_VALUE 0 sc->halt_wait.head.next 4096-ptr_max
PARAM_VALUE 0 sc->halt_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 sc->halt_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 sc->halt_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 sc->halt_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 sc->piowait.next 4096-ptr_max
PARAM_VALUE 0 sc->piowait.next->next 4096-ptr_max
PARAM_VALUE 0 sc->piowait.prev 4096-ptr_max
PARAM_VALUE 0 sc->piowait.prev->next 4096-ptr_max
PARAM_VALUE 0 sc->piowait.prev->prev 4096-ptr_max
PARAM_VALUE 0 sc->size 0-4194240
PARAM_VALUE 0 sc->sw_index 0
PARAM_VALUE 0 sc->type 3
BUF_SIZE 0 sc 768
CAPPED_DATA 0 sc->credits 1
CAPPED_DATA 0 sc->dd->num_send_contexts 1
DATA_SOURCE 0 sc r sc_alloc
NO_OVERFLOW_SIMPLE 0 sc->dd->num_rcv_contexts
NO_OVERFLOW_SIMPLE 0 sc->dd->num_send_contexts
NO_OVERFLOW_SIMPLE 0 sc->sr_size
NO_OVERFLOW_SIMPLE 0 sc->sw_index
LOCK2 global &hfi1_mutex

drivers/infiniband/hw/hfi1/file_ops.c ctxt_reset() -> sc_enable()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->alloc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sc->flags 0,2-65534
PARAM_VALUE 0 sc->release_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sc->waitlock.seqcount.seqcount.dep_map->name 0-255
TASK_NOT_RUNNING

drivers/infiniband/hw/hfi1/init.c enable_chip() -> sc_enable()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock