Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/devlink/health.c devlink_recover_notify() -> devlink_nl_obj_desc_port_set()

Type Parameter Key Value
PARAM_VALUE 0 desc 1793950052452745216
PARAM_VALUE 0 desc->port_index 0
PARAM_VALUE 0 desc->port_index_valid 0
PARAM_VALUE 1 devlink_port 4096-ptr_max
MEM_ZERO 0 desc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/devlink/port.c devlink_port_notify() -> devlink_nl_obj_desc_port_set()

Type Parameter Key Value
PARAM_VALUE 0 desc 3629160306894327808
PARAM_VALUE 0 desc->port_index 0
PARAM_VALUE 0 desc->port_index_valid 0
PARAM_VALUE 1 devlink_port 4096-ptr_max
BUF_SIZE 1 devlink_port (-1),472
BUF_SIZE 1 devlink_port (-1),472
BUF_SIZE 1 devlink_port->ops (-1)-0,144
CAPPED_DATA 1 devlink_port 1
CAPPED_DATA 1 devlink_port->devlink->_net.net 1
CAPPED_DATA 1 devlink_port->devlink->index 1
DATA_SOURCE 1 devlink_port $0
MEM_ZERO 0 desc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 devlink_port->attrs.flavour 0-2,4-7
HOST_DATA 1 devlink_port->attrs.lanes 0-u32max
HOST_DATA 1 devlink_port->attrs.no_phys_port_name 0-1
HOST_DATA 1 devlink_port->attrs.pci_pf.controller 0-u32max
HOST_DATA 1 devlink_port->attrs.pci_pf.external 0-1
HOST_DATA 1 devlink_port->attrs.pci_pf.pf 0-u16max
HOST_DATA 1 devlink_port->attrs.pci_sf.controller 0-u32max
HOST_DATA 1 devlink_port->attrs.pci_sf.external 0-1
HOST_DATA 1 devlink_port->attrs.pci_sf.pf 0-u16max
HOST_DATA 1 devlink_port->attrs.pci_sf.sf 0-u32max
HOST_DATA 1 devlink_port->attrs.pci_vf.controller 0-u32max
HOST_DATA 1 devlink_port->attrs.pci_vf.external 0-1
HOST_DATA 1 devlink_port->attrs.pci_vf.pf 0-u16max
HOST_DATA 1 devlink_port->attrs.pci_vf.vf 0-u16max
HOST_DATA 1 devlink_port->attrs.phys.port_number 0-u32max
HOST_DATA 1 devlink_port->attrs.phys.split_subport_number 0-u32max
HOST_DATA 1 devlink_port->attrs.split 0-1
HOST_DATA 1 devlink_port->attrs.splittable 0-1
HOST_DATA 1 devlink_port->attrs.switch_id.id_len 0-32
HOST_DATA 1 devlink_port->desired_type 0-u32max
HOST_DATA 1 devlink_port->initialized 1
HOST_DATA 1 devlink_port->rel_index 0-u32max
HOST_DATA 1 devlink_port->switch_port 0-1
HOST_DATA 1 devlink_port->type 0-u32max
HOST_DATA 1 devlink_port->type_eth.ifindex s32min-s32max
HOST_DATA 1 devlink_port->type_warn_dw.cpu s32min-s32max
HOST_DATA 1 devlink_port->type_warn_dw.timer.expires 0-u64max
HOST_DATA 1 devlink_port->type_warn_dw.timer.flags 0-u32max
HOST_DATA 1 devlink_port->type_warn_dw.work.data.counter s64min-s64max
NO_OVERFLOW_SIMPLE 1 devlink_port->attrs.phys.port_number
NO_OVERFLOW_SIMPLE 1 devlink_port->index
HALF_LOCKED2 &devlink->lock