Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/controller/dwc/pci-meson.c meson_pcie_get_resets() -> meson_pcie_get_reset()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 0 mp->pci.dev 4096-ptr_max
PARAM_VALUE 0 mp->pci.dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 mp->pci.num_lanes 1
PARAM_VALUE 0 mp->pci.ops 7945154452702978048
PARAM_VALUE 0 mp->pci.pp.ops 7460186588823998464
PARAM_VALUE 0 mp->phy 4096-ptr_max
PARAM_VALUE 0 mp->phy->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 mp->phy->ops 4096-ptr_max
PARAM_VALUE 0 mp->phy->ops->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 mp->phy->ops->owner->state 0-1,3-u32max
PARAM_VALUE 0 mp->reset_gpio 4096-ptr_max
PARAM_VALUE 1 id 3823353318534049792
PARAM_VALUE 2 reset_type 0
BUF_SIZE 0 mp 7288
BUF_SIZE 0 mp->reset_gpio s32min-(-1),1-s32max
BUF_SIZE 1 id 5
CAPPED_DATA 0 mp->reset_gpio 1
DATA_SOURCE 0 mp $0
STR_LEN 0 mp 4
TERMINATED 1 id 1
MEM_ZERO 0 mp
RX_PATH
TASK_NOT_RUNNING

drivers/pci/controller/dwc/pci-meson.c meson_pcie_get_resets() -> meson_pcie_get_reset()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 0 mp->mrst.port 0,4096-ptr_max
PARAM_VALUE 0 mp->mrst.port->array 0-1
PARAM_VALUE 0 mp->pci.dev 4096-ptr_max
PARAM_VALUE 0 mp->pci.dev->devres_head.prev 0,4096-ptr_max
PARAM_VALUE 0 mp->pci.dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 mp->pci.dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 mp->pci.num_lanes 1
PARAM_VALUE 0 mp->pci.ops 7945154452702978048
PARAM_VALUE 0 mp->pci.pp.ops 7460186588823998464
PARAM_VALUE 0 mp->phy 4096-ptr_max
PARAM_VALUE 0 mp->phy->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 mp->phy->ops 4096-ptr_max
PARAM_VALUE 0 mp->phy->ops->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 mp->phy->ops->owner->state 0-1,3-u32max
PARAM_VALUE 0 mp->reset_gpio 4096-ptr_max
PARAM_VALUE 1 id 5076108310054821888
PARAM_VALUE 2 reset_type 1
BUF_SIZE 0 mp 7288
BUF_SIZE 0 mp->reset_gpio s32min-(-1),1-s32max
BUF_SIZE 1 id 4
CAPPED_DATA 0 mp->reset_gpio 1
DATA_SOURCE 0 mp $0
STR_LEN 0 mp 3
TERMINATED 1 id 1
MEM_ZERO 0 mp
MEM_ZERO 0 mp->pci.dev
RX_PATH
TASK_NOT_RUNNING