Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/pio.c sc_alloc() -> set_pio_integrity()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->dd 4096-ptr_max
PARAM_VALUE 0 sc->type 0-3
BUF_SIZE 0 sc 768
BUF_SIZE 0 sc->buffers_allocated 4
CAPPED_DATA 0 sc->dd->num_send_contexts 1
CAPPED_DATA 0 sc->type 1
DATA_SOURCE 0 sc r _kmalloc_node_noprof
PREEMPT_ADD <- disables preempt
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->sw_index
LOCK2 &dd->sc_lock
LOCK2 flags
HALF_LOCKED2 global &hfi1_mutex
TYPE_LOCK (struct hfi1_devdata)->sc_lock

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

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL