Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/x86/dell/dell-laptop.c dell_battery_set_custom_charge_end() -> dell_set_std_token_value()

Type Parameter Key Value
PARAM_VALUE 0 buffer 1322008746188406784
PARAM_VALUE 1 tokenid 842
DATA_SOURCE 2 value $0 [m]
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/platform/x86/dell/dell-laptop.c dell_battery_set_custom_charge_start() -> dell_set_std_token_value()

Type Parameter Key Value
PARAM_VALUE 0 buffer 2287157567612526592
PARAM_VALUE 1 tokenid 841
DATA_SOURCE 2 value $0 [m]
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 value 51-94
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/platform/x86/dell/dell-laptop.c dell_battery_set_mode() -> dell_set_std_token_value()

Type Parameter Key Value
PARAM_VALUE 0 buffer 2690385377619668992
PARAM_VALUE 2 value u32max
DATA_SOURCE 1 tokenid $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/platform/x86/dell/dell-laptop.c kbd_set_token_bit() -> dell_set_std_token_value()

Type Parameter Key Value
PARAM_VALUE 0 buffer 701816282072436736
PARAM_VALUE 1 tokenid 481-482,746-748,758
PARAM_VALUE 2 value u32max
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &kbd_led_mutex

drivers/platform/x86/dell/dell-laptop.c micmute_led_set() -> dell_set_std_token_value()

Type Parameter Key Value
PARAM_VALUE 0 buffer 3212983142317088768
PARAM_VALUE 1 tokenid 868-869
PARAM_VALUE 2 value u32max
BIT_INFO 1 tokenid 0x364,0x365
RX_PATH
TASK_NOT_RUNNING

drivers/platform/x86/dell/dell-laptop.c mute_led_set() -> dell_set_std_token_value()

Type Parameter Key Value
PARAM_VALUE 0 buffer 544711894715265024
PARAM_VALUE 1 tokenid 1420-1421
PARAM_VALUE 2 value u32max
BIT_INFO 1 tokenid 0x58c,0x58d
RX_PATH
TASK_NOT_RUNNING