Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/x86/lenovo/ymc.c lenovo_ymc_probe() -> lenovo_ymc_notify()

Type Parameter Key Value
PARAM_VALUE 0 wdev 4096-ptr_max
PARAM_VALUE 0 wdev->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 wdev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 wdev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 wdev->dev.driver_data 4096-ptr_max
PARAM_VALUE 1 data 0
DATA_SOURCE 0 wdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/platform/wmi/core.c wmi_notify_driver() -> (struct wmi_driver)->notify()

Type Parameter Key Value
PARAM_VALUE 0 wdev 4096-ptr_max
PARAM_VALUE 0 wdev->dev.driver 1-u64max
PARAM_VALUE 1 data 0,4096-ptr_max
DATA_SOURCE 1 data $1
NOCHECK_CALL
LOCK2 &wblock->notify_lock
TYPE_LOCK (struct wmi_block)->notify_lock