Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 9 files:

Smatch caller information:

drivers/platform/x86/toshiba-wmi.c toshiba_wmi_input_destroy() -> wmi_remove_notify_handler()

Type Parameter Key Value
PARAM_VALUE 0 guid 7351252237781282816
BUF_SIZE 0 guid 37
STR_LEN 0 guid 36
TERMINATED 0 guid 1
NOCHECK_CALL

drivers/platform/x86/toshiba-wmi.c toshiba_wmi_input_setup() -> wmi_remove_notify_handler()

Type Parameter Key Value
PARAM_VALUE 0 guid 7351252237781282816
BUF_SIZE 0 guid 37
STR_LEN 0 guid 36
TERMINATED 0 guid 1
NOCHECK_CALL

drivers/platform/x86/huawei-wmi.c huawei_wmi_input_exit() -> wmi_remove_notify_handler()

Type Parameter Key Value
PARAM_VALUE 0 guid 4096-ptr_max
PARAM_VALUE 0 *guid 1-255
BUF_SIZE 0 guid 37
BUF_SIZE 0 guid 37
DATA_SOURCE 0 guid $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &_dev->mutex
TYPE_LOCK (struct device)->mutex

drivers/platform/x86/dell/dell-wmi-aio.c dell_wmi_aio_exit() -> wmi_remove_notify_handler()

Type Parameter Key Value
PARAM_VALUE 0 guid 0,4096-ptr_max
DATA_SOURCE 0 guid r dell_wmi_aio_find
NOCHECK_CALL

drivers/platform/x86/acer-wmi.c acer_wmi_input_destroy() -> wmi_remove_notify_handler()

Type Parameter Key Value
PARAM_VALUE 0 guid 4628942999076945920
BUF_SIZE 0 guid 37
STR_LEN 0 guid 36
TERMINATED 0 guid 1
NOCHECK_CALL

drivers/platform/x86/acer-wmi.c acer_wmi_input_setup() -> wmi_remove_notify_handler()

Type Parameter Key Value
PARAM_VALUE 0 guid 4628942999076945920
BUF_SIZE 0 guid 37
STR_LEN 0 guid 36
TERMINATED 0 guid 1
NOCHECK_CALL

drivers/platform/x86/msi-wmi.c msi_wmi_exit() -> wmi_remove_notify_handler()

Type Parameter Key Value
NOCHECK_CALL

drivers/platform/x86/msi-wmi.c msi_wmi_init() -> wmi_remove_notify_handler()

Type Parameter Key Value
NOCHECK_CALL

drivers/platform/x86/hp/hp-wmi.c hp_wmi_input_destroy() -> wmi_remove_notify_handler()

Type Parameter Key Value
PARAM_VALUE 0 guid 2976196531644518400
BUF_SIZE 0 guid 37
STR_LEN 0 guid 36
TERMINATED 0 guid 1
NOCHECK_CALL

drivers/platform/x86/hp/hp-wmi.c hp_wmi_input_setup() -> wmi_remove_notify_handler()

Type Parameter Key Value
PARAM_VALUE 0 guid 2976196531644518400
BUF_SIZE 0 guid 37
STR_LEN 0 guid 36
TERMINATED 0 guid 1
NOCHECK_CALL

drivers/hwmon/hp-wmi-sensors.c hp_wmi_devm_notify_remove() -> wmi_remove_notify_handler()

Type Parameter Key Value
PARAM_VALUE 0 guid 2976196531644518400
BUF_SIZE 0 guid 37
STR_LEN 0 guid 36
TERMINATED 0 guid 1
NOCHECK_CALL

drivers/platform/x86/asus-wmi.c asus_wmi_remove() -> wmi_remove_notify_handler()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex