Defined in 1 files as a prototype:

Defined in 3 files as a member:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

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

Type Parameter Key Value
NOCHECK_CALL

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

Type Parameter Key Value
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
NOCHECK_CALL

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

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->sr 0
PARAM_VALUE 0 sc->sr_size 1-65536
PARAM_VALUE 0 sc->sw_index 0
PARAM_VALUE 0 sc->type 0-2
BUF_SIZE 0 sc 768
BUF_SIZE 0 sc->buffers_allocated 4
BUF_SIZE 0 sc->sr 64
CAPPED_DATA 0 sc->credits 1
CAPPED_DATA 0 sc->dd->num_send_contexts 1
CAPPED_DATA 0 sc->type 1
DATA_SOURCE 0 sc r _kmalloc_node_noprof
BIT_INFO 0 sc->credit_ctrl 0x0,0xffffffff
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
HALF_LOCKED2 global &hfi1_mutex

drivers/infiniband/hw/hfi1/init.c cleanup_device_data() -> sc_free()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/hfi1/init.c hfi1_free_ctxtdata() -> sc_free()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &ppd->hls_lock
HALF_LOCKED2 &s->lock
HALF_LOCKED2 global &hfi1_mutex