Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/platform/x86/acer-wmi.c acer_wmi_notify() -> acer_kbd_dock_event()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | event | 2137769817833627648 |
| PARAM_VALUE | 0 | event->function | 5 |
| NOCHECK_CALL | |||
| LOCK2 | &wblock->notify_lock | ||
| TYPE_LOCK | (struct wmi_block)->notify_lock |