Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ntb/hw/mscc/ntb_hw_switchtec.c check_link_status_work() -> switchtec_ntb_link_status_update()

Type Parameter Key Value
PARAM_VALUE 0 sndev 4096-ptr_max
PARAM_VALUE 0 sndev->link_force_down 0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/ntb/hw/mscc/ntb_hw_switchtec.c switchtec_ntb_link_disable() -> switchtec_ntb_link_status_update()

Type Parameter Key Value
PARAM_VALUE 0 sndev 4096-ptr_max
PARAM_VALUE 0 sndev->self_shared 4096-ptr_max
PARAM_VALUE 0 sndev->self_shared->link_sta 0
DATA_SOURCE 0 sndev r ntb_sndev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/ntb/hw/mscc/ntb_hw_switchtec.c switchtec_ntb_link_enable() -> switchtec_ntb_link_status_update()

Type Parameter Key Value
PARAM_VALUE 0 sndev 4096-ptr_max
PARAM_VALUE 0 sndev->self_shared 4096-ptr_max
PARAM_VALUE 0 sndev->self_shared->link_sta 1
DATA_SOURCE 0 sndev r ntb_sndev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL