Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/platform/x86/acer-wmi.c acer_kbd_dock_event() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 64
LOCK2 &wblock->notify_lock
TYPE_LOCK (struct wmi_block)->notify_lock

drivers/platform/x86/acer-wmi.c acer_platform_probe() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 1
RX_PATH
TASK_NOT_RUNNING

drivers/platform/x86/acer-wmi.c acer_platform_probe() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 8
RX_PATH
TASK_NOT_RUNNING

drivers/platform/x86/acer-wmi.c acer_platform_probe() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 1024
RX_PATH
TASK_NOT_RUNNING

drivers/platform/x86/acer-wmi.c acer_platform_probe() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 2048
RX_PATH
TASK_NOT_RUNNING

drivers/platform/x86/acer-wmi.c acer_platform_probe() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 8
RX_PATH
TASK_NOT_RUNNING

drivers/platform/x86/acer-wmi.c acer_platform_probe() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 1
RX_PATH
TASK_NOT_RUNNING

drivers/platform/x86/acer-wmi.c acer_platform_remove() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &_dev->mutex

drivers/platform/x86/acer-wmi.c acer_platform_remove() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 8
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &_dev->mutex

drivers/platform/x86/acer-wmi.c acer_platform_shutdown() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &_dev->mutex
HALF_LOCKED2 &parent->mutex
HALF_LOCKED2 global &system_transition_mutex
TYPE_LOCK (struct device)->mutex

drivers/platform/x86/acer-wmi.c acer_resume() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 1
RX_PATH
TASK_NOT_RUNNING

drivers/platform/x86/acer-wmi.c acer_resume() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 8
RX_PATH
TASK_NOT_RUNNING

drivers/platform/x86/acer-wmi.c acer_rfkill_exit() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 22
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &_dev->mutex

drivers/platform/x86/acer-wmi.c acer_rfkill_exit() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &_dev->mutex

drivers/platform/x86/acer-wmi.c acer_rfkill_exit() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 4
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &_dev->mutex

drivers/platform/x86/acer-wmi.c acer_rfkill_exit() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 16
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &_dev->mutex

drivers/platform/x86/acer-wmi.c acer_rfkill_init() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 2
RX_PATH
TASK_NOT_RUNNING

drivers/platform/x86/acer-wmi.c acer_rfkill_init() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 4
RX_PATH
TASK_NOT_RUNNING

drivers/platform/x86/acer-wmi.c acer_rfkill_init() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 16
RX_PATH
TASK_NOT_RUNNING

drivers/platform/x86/acer-wmi.c acer_rfkill_init() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 22
RX_PATH
TASK_NOT_RUNNING

drivers/platform/x86/acer-wmi.c acer_rfkill_init() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 4
RX_PATH
TASK_NOT_RUNNING

drivers/platform/x86/acer-wmi.c acer_rfkill_init() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 2
RX_PATH
TASK_NOT_RUNNING

drivers/platform/x86/acer-wmi.c acer_rfkill_update() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 2
HALF_LOCKED2 &pool->lock

drivers/platform/x86/acer-wmi.c acer_rfkill_update() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 4
HALF_LOCKED2 &pool->lock

drivers/platform/x86/acer-wmi.c acer_rfkill_update() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 16
HALF_LOCKED2 &pool->lock

drivers/platform/x86/acer-wmi.c acer_suspend() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 1
RX_PATH
TASK_NOT_RUNNING

drivers/platform/x86/acer-wmi.c acer_suspend() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 8
RX_PATH
TASK_NOT_RUNNING

drivers/platform/x86/acer-wmi.c acer_toggle_turbo() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 512
LOCK2 &wblock->notify_lock
TYPE_LOCK (struct wmi_block)->notify_lock

drivers/platform/x86/acer-wmi.c acer_toggle_turbo() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 128
LOCK2 &wblock->notify_lock
TYPE_LOCK (struct wmi_block)->notify_lock

drivers/platform/x86/acer-wmi.c acer_toggle_turbo() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 512
LOCK2 &wblock->notify_lock
TYPE_LOCK (struct wmi_block)->notify_lock

drivers/platform/x86/acer-wmi.c acer_toggle_turbo() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 128
LOCK2 &wblock->notify_lock
TYPE_LOCK (struct wmi_block)->notify_lock

drivers/platform/x86/acer-wmi.c acer_wmi_hwmon_is_visible() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 4096
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &hdev->driver_input_lock
HALF_LOCKED2 &mdev->intf_state_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sp->mutex
HALF_LOCKED2 _T->lock

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

Type Parameter Key Value
PARAM_VALUE 0 cap 64

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

Type Parameter Key Value
PARAM_VALUE 0 cap 64

drivers/platform/x86/acer-wmi.c acer_wmi_notify() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 2
LOCK2 &wblock->notify_lock
TYPE_LOCK (struct wmi_block)->notify_lock

drivers/platform/x86/acer-wmi.c acer_wmi_notify() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 16
LOCK2 &wblock->notify_lock
TYPE_LOCK (struct wmi_block)->notify_lock

drivers/platform/x86/acer-wmi.c acer_wmi_notify() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 4
LOCK2 &wblock->notify_lock
TYPE_LOCK (struct wmi_block)->notify_lock

drivers/platform/x86/acer-wmi.c acer_wmi_notify() -> has_cap()

Type Parameter Key Value
PARAM_VALUE 0 cap 1024
LOCK2 &wblock->notify_lock
TYPE_LOCK (struct wmi_block)->notify_lock