Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
- drivers/infiniband/hw/hfi1/file_ops.c
- drivers/infiniband/hw/hfi1/init.c, line 725
- drivers/infiniband/hw/hfi1/pio.c
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 |