Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/mipi-disco-img.c init_crs_csi2_swnodes() -> init_csi2_port()

Type Parameter Key Value
PARAM_VALUE 0 adev 1-u64max
PARAM_VALUE 1 swnodes 4096-ptr_max
PARAM_VALUE 1 swnodes->nodes 4096-ptr_max
PARAM_VALUE 1 swnodes->num_ports 1-u32max
PARAM_VALUE 1 swnodes->ports 4096-ptr_max
PARAM_VALUE 2 port 4096-ptr_max
PARAM_VALUE 3 port_fwnode 4096-ptr_max
CAPPED_DATA 4 port_index 1
DATA_SOURCE 0 adev r acpi_fetch_acpi_dev
DATA_SOURCE 3 port_fwnode r get_mipi_port_handle
PARAM_COMPARE 4 port_index < $1->num_ports
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &acpi_scan_lock
HALF_LOCKED2 global &device_hotplug_lock
HALF_LOCKED2 global &pci_rescan_remove_lock