Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 7 files:

Smatch caller information:

drivers/i2c/i2c-core-base.c i2c_device_match() -> acpi_driver_match_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 drv 4096-ptr_max
PARAM_VALUE 1 drv->bus 4096-ptr_max
PARAM_VALUE 1 drv->bus->match 1-u64max
PARAM_VALUE 1 *drv->of_match_table->compatible 0-255
CAPPED_DATA 1 drv->bus 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 drv $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex

drivers/i2c/i2c-core-base.c i2c_device_probe() -> acpi_driver_match_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->driver 4096-ptr_max
PARAM_VALUE 0 dev->kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->pins->p 0,4096-u64max
PARAM_VALUE 0 dev->type 4096-ptr_max
PARAM_VALUE 1 drv 4096-ptr_max
BUF_SIZE 0 dev (-1)-0,4,16,24,56,64,120,168-s32max
BUF_SIZE 0 dev (-1)-0,4,16,24,56,64,120,168-s32max
CAPPED_DATA 0 dev 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &dev->mutex

drivers/base/platform.c platform_match() -> acpi_driver_match_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->driver_override.name 0
PARAM_VALUE 1 drv 4096-ptr_max
BUF_SIZE 1 drv s32min,(-10),(-1)-s32max
BUF_SIZE 1 drv s32min,(-10),(-1)-s32max
BUF_SIZE 1 drv->bp s32min-(-1),1-s32max
BUF_SIZE 1 drv->drv (-1),152
BUF_SIZE 1 drv->uid (-1),2
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 drv $1
STR_LEN 1 drv->uid (-1),1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 drv->probe_type 0-u32max[u]
USER_DATA 1 drv->suppress_bind_attrs 0-1[u]
UNITS 1 drv unit_byte
USER_PTR 1 drv
HALF_LOCKED2 &of->mutex

drivers/spi/spi.c spi_match_device() -> acpi_driver_match_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->driver_override.name 0
PARAM_VALUE 1 drv 4096-ptr_max
PARAM_VALUE 1 drv->bus 4096-ptr_max
PARAM_VALUE 1 drv->bus->match 1-u64max
CAPPED_DATA 1 drv->bus 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 drv $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex

drivers/base/cpu.c cpu_subsys_match() -> acpi_driver_match_device()

Type Parameter Key Value
PARAM_VALUE 1 drv 4096-ptr_max
PARAM_VALUE 1 drv->bus 4096-ptr_max
PARAM_VALUE 1 drv->bus->match 1-u64max
CAPPED_DATA 1 drv->bus 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 drv $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex

drivers/tty/serdev/core.c serdev_device_match() -> acpi_driver_match_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->type 4096-ptr_max
PARAM_VALUE 1 drv 4096-ptr_max
PARAM_VALUE 1 drv->bus 4096-ptr_max
PARAM_VALUE 1 drv->bus->match 1-u64max
CAPPED_DATA 1 drv->bus 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 drv $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex

drivers/i3c/master.c i3c_device_match() -> acpi_driver_match_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->type 4796283750846341120
PARAM_VALUE 1 drv 4096-ptr_max
PARAM_VALUE 1 drv->bus 4096-ptr_max
PARAM_VALUE 1 drv->bus->match 1-u64max
CAPPED_DATA 1 drv->bus 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 drv $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex