Open Menu /

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 pio_freeze() -> sc_disable()

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,0xffff
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/hfi1/pio.c sc_free() -> sc_disable()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
BUF_SIZE 0 sc (-1),768
BUF_SIZE 0 sc (-1),768
BUF_SIZE 0 sc->buffers_allocated (-1),4
BUF_SIZE 0 sc->sr (-1),64
CAPPED_DATA 0 &sc->piowait 1
DATA_SOURCE 0 sc $0
BIT_INFO 0 sc->flags 0x2,0xffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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

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

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->dd 4096-ptr_max
PARAM_VALUE 0 sc->flags 4-u16max
DATA_SOURCE 0 sc $0
BIT_INFO 0 sc->flags 0x4,0xffffffffffffffff
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->flags 8-u16max
BIT_INFO 0 sc->flags 0xc,0xffff
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/hfi1/file_ops.c hfi1_file_close() -> sc_disable()

Type Parameter Key Value
PARAM_VALUE 0 sc 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/hfi1/init.c init_after_reset() -> sc_disable()

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

drivers/infiniband/hw/hfi1/init.c shutdown_device() -> sc_disable()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex