Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/mellanox/mlxsw/core.c __mlxsw_core_bus_device_register() -> mlxsw_core_irq_event_handler_init()

Type Parameter Key Value
PARAM_VALUE 0 mlxsw_core 4096-ptr_max
PARAM_VALUE 0 mlxsw_core->bus_info 4096-ptr_max
PARAM_VALUE 0 mlxsw_core->driver 4096-ptr_max
PARAM_VALUE 0 mlxsw_core->event_listener_list.next 4096-ptr_max
PARAM_VALUE 0 mlxsw_core->event_listener_list.next->next 4096-ptr_max
PARAM_VALUE 0 mlxsw_core->event_listener_list.prev 4096-ptr_max
PARAM_VALUE 0 mlxsw_core->event_listener_list.prev->next 4096-ptr_max
PARAM_VALUE 0 mlxsw_core->event_listener_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 mlxsw_core->rx_listener_list.next 4096-ptr_max
PARAM_VALUE 0 mlxsw_core->rx_listener_list.next->next 4096-ptr_max
PARAM_VALUE 0 mlxsw_core->rx_listener_list.prev 4096-ptr_max
PARAM_VALUE 0 mlxsw_core->rx_listener_list.prev->next 4096-ptr_max
PARAM_VALUE 0 mlxsw_core->rx_listener_list.prev->prev 4096-ptr_max
BUF_SIZE 0 mlxsw_core->bus_priv s32min-(-2),1-s32max
DATA_SOURCE 0 mlxsw_core r devlink_priv
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &devlink->lock