Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

net/ipv4/ipconfig.c ip_auto_config() -> wait_for_devices()

Type Parameter Key Value

drivers/xen/xenbus/xenbus_probe_frontend.c __xenbus_register_frontend() -> wait_for_devices()

Type Parameter Key Value
PARAM_VALUE 0 xendrv 4096-ptr_max
PARAM_VALUE 0 xendrv->driver.bus 4717873557577994288,6054366411351158832
PARAM_VALUE 0 xendrv->driver.mod_name 4096-ptr_max
PARAM_VALUE 0 xendrv->driver.owner 0
PARAM_VALUE 0 xendrv->driver.p 4096-ptr_max
PARAM_VALUE 0 xendrv->driver.p->driver s64min-(-4096),4096-s64max
PARAM_VALUE 0 xendrv->driver.p->kobj.sd->attr.notify_next 0,426918848001064960
PARAM_VALUE 0 xendrv->name 0,4096-ptr_max
PARAM_VALUE 0 xendrv->read_otherend_details 404418458074050560
DATA_SOURCE 0 xendrv $0
STR_LEN 0 xendrv 7,9,11-13
STR_LEN 0 xendrv 7,9,11-13
TERMINATED 0 xendrv->driver.mod_name 1
NOCHECK_CALL

drivers/xen/xenbus/xenbus_probe_frontend.c boot_wait_for_devices() -> wait_for_devices()

Type Parameter Key Value
PARAM_VALUE 0 xendrv 0
NOCHECK_CALL