Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/x86/acer-wmi.c acer_commandline_init() -> set_u32()

Type Parameter Key Value
PARAM_VALUE 0 value 0-s32max
PARAM_VALUE 1 cap 1
NOCHECK_CALL

drivers/platform/x86/acer-wmi.c acer_commandline_init() -> set_u32()

Type Parameter Key Value
PARAM_VALUE 0 value 0-s32max
PARAM_VALUE 1 cap 16
NOCHECK_CALL

drivers/platform/x86/acer-wmi.c acer_commandline_init() -> set_u32()

Type Parameter Key Value
PARAM_VALUE 0 value 0-s32max
PARAM_VALUE 1 cap 8
NOCHECK_CALL

drivers/platform/x86/acer-wmi.c acer_led_exit() -> set_u32()

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

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

Type Parameter Key Value
PARAM_VALUE 0 value 0
PARAM_VALUE 1 cap 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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() -> set_u32()

Type Parameter Key Value
PARAM_VALUE 0 value 0-255
PARAM_VALUE 1 cap 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 1 cap 8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/platform/x86/acer-wmi.c acer_rfkill_set() -> set_u32()

Type Parameter Key Value
PARAM_VALUE 0 value 0-1
DATA_SOURCE 1 cap $0
FUZZY_MAX 0 value 1
HARD_MAX 0 value 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 value 0-1
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &rfkill_global_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 value 0
PARAM_VALUE 1 cap 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/platform/x86/acer-wmi.c mail_led_set() -> set_u32()

Type Parameter Key Value
PARAM_VALUE 1 cap 1
DATA_SOURCE 0 value $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 value 1-16777215[c]
USER_DATA 0 value 0-4294967294[c]
HALF_LOCKED2 &rt2x00dev->conf_mutex

drivers/platform/x86/acer-wmi.c update_bl_status() -> set_u32()

Type Parameter Key Value
PARAM_VALUE 1 cap 8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 value 0-16777215
USER_DATA 0 value 1-s32max[c]
UNITS 0 value unit_array_size
HALF_LOCKED2 &bd->update_lock
HALF_LOCKED2 &connector->mutex
HALF_LOCKED2 &panel->follower_lock
HALF_LOCKED2 global &drm_unplug_srcu