Documented in 1 files:

Defined in 3 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/xen/xenbus/xenbus_probe.c xenbus_dev_probe() -> match_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/xen/xenbus/xenbus_probe.c xenbus_match() -> match_device()

Type Parameter Key Value
PARAM_VALUE 0 arr 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex

drivers/pnp/driver.c pnp_bus_match() -> match_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex

drivers/pnp/driver.c pnp_device_probe() -> match_device()

Type Parameter Key Value
PARAM_VALUE 0 arr 4096-ptr_max
PARAM_VALUE 0 arr->probe 1-u64max
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 1 dev->status 1
CAPPED_DATA 1 dev 1
RX_PATH
TASK_NOT_RUNNING