Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ntb/hw/mscc/ntb_hw_switchtec.c switchtec_ntb_link_notification() -> switchtec_ntb_check_link()

Type Parameter Key Value
PARAM_VALUE 1 msg 3
NOCHECK_CALL
UNITS 0 sndev unit_byte
HALF_LOCKED2 &pool->lock

drivers/ntb/hw/mscc/ntb_hw_switchtec.c switchtec_ntb_message_isr() -> switchtec_ntb_check_link()

Type Parameter Key Value
PARAM_VALUE 0 sndev 4096-ptr_max
PARAM_VALUE 0 sndev->mmio_self_dbmsg->imsg 4096-ptr_max
DATA_SOURCE 0 sndev $1
DATA_SOURCE 1 msg r __ioread64_lo_hi
BIT_INFO 1 msg 0x100000000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 msg 0-u32max
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags