Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/iov.c pci_iov_add_virtfn() -> virtfn_remove_bus()

Type Parameter Key Value
PARAM_VALUE 0 physbus 4096-ptr_max
PARAM_VALUE 0 physbus->children.prev->next 4096-ptr_max
PARAM_VALUE 0 physbus->children.prev->next->next 4096-ptr_max
PARAM_VALUE 0 physbus->self->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 1 virtbus 1-u64max
PARAM_VALUE 1 virtbus->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 1 virtbus->self->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
BUF_SIZE 1 virtbus (-1)-0,1904
BUF_SIZE 1 virtbus (-1)-0,1904
CAPPED_DATA 0 physbus 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 physbus->bridge_ctl 0-u16max
HOST_DATA 1 virtbus->bridge_ctl 0-u16max
HOST_DATA 1 virtbus->parent->bridge_ctl 0-u16max
HALF_LOCKED2 &dev->dev.mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &pci_rescan_remove_lock

drivers/pci/iov.c pci_iov_remove_virtfn() -> virtfn_remove_bus()

Type Parameter Key Value
PARAM_VALUE 0 physbus 4096-ptr_max
PARAM_VALUE 0 physbus->self->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 1 virtbus->self->link_state->aspm_enabled 0-127
PARAM_VALUE 1 virtbus->self->link_state->downstream->acs_cap 0-u16max
PARAM_VALUE 1 virtbus->self->link_state->downstream->acs_capabilities 0-u16max
PARAM_VALUE 1 virtbus->self->link_state->downstream->aer_cap 0-u16max
PARAM_VALUE 1 virtbus->self->link_state->downstream->ari_enabled 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->aspm_l0s_support 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->aspm_l1_support 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->ats_cap 0-u16max
PARAM_VALUE 1 virtbus->self->link_state->downstream->ats_enabled 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->ats_stu 0-255
PARAM_VALUE 1 virtbus->self->link_state->downstream->block_cfg_access 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->bridge_d3 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->broken_cmd_compl 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->broken_intx_masking 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->broken_parity_status 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->cfg_size s32min-s32max
PARAM_VALUE 1 virtbus->self->link_state->downstream->class 0-4294967295
PARAM_VALUE 1 virtbus->self->link_state->downstream->clear_retrain_link 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->config_rrs_sv 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->current_state s32min-s32max
PARAM_VALUE 1 virtbus->self->link_state->downstream->d1_support 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->d2_support 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->d3cold_allowed 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->d3cold_delay 0-4294967295
PARAM_VALUE 1 virtbus->self->link_state->downstream->d3hot_delay 0-4294967295
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.devt 0-4294967295
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.dma_uses_io_tlb 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.id 0-4294967295
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.kobj.state_add_uevent_sent 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.kobj.state_in_sysfs 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.kobj.state_initialized 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.kobj.state_remove_uevent_sent 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.kobj.uevent_suppress 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.links.status 0-4294967295
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.numa_node s32min-s32max
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.async_suspend 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.autosuspend_delay s32min-s32max
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.can_wakeup 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.deferred_resume 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.detach_power_off 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.direct_complete 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.disable_depth 0-7
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.driver_flags 0-4294967295
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.early_init 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.idle_notification 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.ignore_children 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.in_dpm_list 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.irq_safe 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.is_late_suspended 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.is_noirq_suspended 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.is_prepared 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.is_suspended 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.last_status s32min-s32max
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.links_count 0-4294967295
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.may_skip_resume 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.memalloc_noio 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.must_resume 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.needs_force_resume 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.no_callbacks 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.no_pm 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.no_pm_callbacks 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.out_band_wakeup 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.request 0-4294967295
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.request_pending 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.runtime_auto 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.runtime_error s32min-s32max
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.runtime_status s32min-s32max
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.smart_suspend 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.strict_midlayer 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.syscore 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.timer_autosuspends 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.use_autosuspend 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.power.work_in_progress 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev.removable 0-4294967295
PARAM_VALUE 1 virtbus->self->link_state->downstream->dev_flags 0-u16max
PARAM_VALUE 1 virtbus->self->link_state->downstream->devcap 0-4294967295
PARAM_VALUE 1 virtbus->self->link_state->downstream->devfn 0-4294967295
PARAM_VALUE 1 virtbus->self->link_state->downstream->device 0-u16max
PARAM_VALUE 1 virtbus->self->link_state->downstream->dma_parms.max_segment_size 0-4294967295
PARAM_VALUE 1 virtbus->self->link_state->downstream->dma_parms.min_align_mask 0-4294967295
PARAM_VALUE 1 virtbus->self->link_state->downstream->doe_mbs.xa_flags 0-4294967295
PARAM_VALUE 1 virtbus->self->link_state->downstream->dpc_cap 0-u16max
PARAM_VALUE 1 virtbus->self->link_state->downstream->dpc_rp_extensions 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->dpc_rp_log_size 0-255
PARAM_VALUE 1 virtbus->self->link_state->downstream->eetlp_prefix_max 0-7
PARAM_VALUE 1 virtbus->self->link_state->downstream->enable_cnt.counter s32min-s32max
PARAM_VALUE 1 virtbus->self->link_state->downstream->error_state 0-4294967295
PARAM_VALUE 1 virtbus->self->link_state->downstream->external_facing 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->fm_enabled 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->hdr_type 0-255
PARAM_VALUE 1 virtbus->self->link_state->downstream->hotplug_user_indicators 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->ide_cap 0-u16max
PARAM_VALUE 1 virtbus->self->link_state->downstream->ide_cfg 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->ide_tee_limit 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->ignore_hotplug 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->imm_ready 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->io_window 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->io_window_1k 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->irq 0-4294967295
PARAM_VALUE 1 virtbus->self->link_state->downstream->irq_managed 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->irq_reroute_variant 0-3
PARAM_VALUE 1 virtbus->self->link_state->downstream->is_busmaster 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->is_cxl 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->is_hotplug_bridge 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->is_managed 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->is_msi_managed 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->is_pciehp 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->is_physfn 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->is_probed 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->is_thunderbolt 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->is_virtfn 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->l1ss 0-u16max
PARAM_VALUE 1 virtbus->self->link_state->downstream->link_active_reporting 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->ltr_path 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->mmio_always_on 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->msi_cap 0-255
PARAM_VALUE 1 virtbus->self->link_state->downstream->msi_enabled 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->msi_lock.magic 0-4294967295
PARAM_VALUE 1 virtbus->self->link_state->downstream->msi_lock.owner_cpu 0-4294967295
PARAM_VALUE 1 virtbus->self->link_state->downstream->msix_cap 0-255
PARAM_VALUE 1 virtbus->self->link_state->downstream->msix_enabled 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->multifunction 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->needs_freset 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->no_bw_notif 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->no_command_memory 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->no_d1d2 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->no_d3cold 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->no_msi 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->no_vf_scan 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->non_compliant_bars 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->non_mappable_bars 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->nr_ide_mem 0-255
PARAM_VALUE 1 virtbus->self->link_state->downstream->nr_link_ide 0-255
PARAM_VALUE 1 virtbus->self->link_state->downstream->nr_sel_ide 0-u16max
PARAM_VALUE 1 virtbus->self->link_state->downstream->pasid_cap 0-u16max
PARAM_VALUE 1 virtbus->self->link_state->downstream->pasid_enabled 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->pasid_features 0-u16max
PARAM_VALUE 1 virtbus->self->link_state->downstream->pasid_no_tlp 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->pasid_required 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->pcie_cap 0-255
PARAM_VALUE 1 virtbus->self->link_state->downstream->pcie_flags_reg 0-u16max
PARAM_VALUE 1 virtbus->self->link_state->downstream->pcie_mpss 0-7
PARAM_VALUE 1 virtbus->self->link_state->downstream->pin 0-255
PARAM_VALUE 1 virtbus->self->link_state->downstream->pinned 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->pm_cap 0-255
PARAM_VALUE 1 virtbus->self->link_state->downstream->pme_poll 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->pme_support 0-31
PARAM_VALUE 1 virtbus->self->link_state->downstream->pref_64_window 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->pref_window 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->pri_cap 0-u16max
PARAM_VALUE 1 virtbus->self->link_state->downstream->pri_enabled 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->pri_reqs_alloc 0-4294967295
PARAM_VALUE 1 virtbus->self->link_state->downstream->ptm_cap 0-u16max
PARAM_VALUE 1 virtbus->self->link_state->downstream->ptm_granularity 0-255
PARAM_VALUE 1 virtbus->self->link_state->downstream->ptm_requester 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->ptm_responder 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->ptm_root 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->rebar_cap 0-u16max
PARAM_VALUE 1 virtbus->self->link_state->downstream->revision 0-255
PARAM_VALUE 1 virtbus->self->link_state->downstream->rom_attr_enabled 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->rom_bar_overlap 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->rom_base_reg 0-255
PARAM_VALUE 1 virtbus->self->link_state->downstream->shpc_managed 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->skip_bus_pm 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->state_saved 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->subsystem_device 0-u16max
PARAM_VALUE 1 virtbus->self->link_state->downstream->subsystem_vendor 0-u16max
PARAM_VALUE 1 virtbus->self->link_state->downstream->supported_speeds 0-255
PARAM_VALUE 1 virtbus->self->link_state->downstream->tph_cap 0-u16max
PARAM_VALUE 1 virtbus->self->link_state->downstream->tph_enabled 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->tph_mode 0-255
PARAM_VALUE 1 virtbus->self->link_state->downstream->tph_req_type 0-255
PARAM_VALUE 1 virtbus->self->link_state->downstream->transparent 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->untrusted 0-1
PARAM_VALUE 1 virtbus->self->link_state->downstream->vendor 0-u16max
PARAM_VALUE 1 virtbus->self->link_state->downstream->vpd.cap 0-255
PARAM_VALUE 1 virtbus->self->link_state->downstream->vpd.len 0-4294967295
PARAM_VALUE 1 virtbus->self->link_state->downstream->wakeup_prepared 0-1
PARAM_VALUE 1 virtbus->self->link_state->parent->pdev->pcie_cap_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 virtbus->self->link_state->pdev->pcie_cap_lock.rlock.dep_map->name 0-255
CAPPED_DATA 1 virtbus->number 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 physbus->bridge_ctl 0-u16max
HOST_DATA 0 physbus->parent->bridge_ctl 0-u16max
HALF_LOCKED2 &dev->dev.mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &pci_rescan_remove_lock