Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/platform/x86/asus-wmi.c asus_wmi_handle_event_code() -> (struct asus_wmi_driver)->key_filter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asus_wmi | 4096-ptr_max |
| PARAM_VALUE | 0 | asus_wmi->key_filter | 1538540019182526464,1952034039638806528 |
| PARAM_VALUE | 1 | *code | 0-u16max |
| PARAM_VALUE | 2 | value | 5159058296267726848 |
| PARAM_VALUE | 2 | *value | 1 |
| PARAM_VALUE | 3 | autorelease | 7781839266346516480 |
| PARAM_VALUE | 3 | *autorelease | 1 |
| CONTAINER | 0 | *(-72+0) | $(-1) |
| NOCHECK_CALL | |||
| LOCK2 | &wblock->notify_lock | ||
| TYPE_LOCK | (struct wmi_block)->notify_lock |