Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/x86/samsung-laptop.c samsung_rfkill_init_swsmi() -> swsmi_wireless_status()

Type Parameter Key Value
PARAM_VALUE 0 samsung 4096-ptr_max
PARAM_VALUE 0 samsung->config 4096-ptr_max
PARAM_VALUE 0 samsung->config->sabi_version 3
PARAM_VALUE 0 samsung->config->test_string 4096-ptr_max
PARAM_VALUE 0 samsung->f0000_segment 4096-ptr_max
PARAM_VALUE 0 samsung->platform_device 4096-ptr_max
PARAM_VALUE 0 samsung->platform_device->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 samsung->platform_device->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 samsung->platform_device->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 samsung->platform_device->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 samsung->platform_device->dev.kobj.sd 1-u64max
PARAM_VALUE 0 samsung->platform_device->dev.kobj.sd->attr.notify_next 0,426918848001064960
PARAM_VALUE 0 samsung->quirks 1525418754989367296
PARAM_VALUE 0 samsung->sabi_iface 4096-ptr_max
PARAM_VALUE 0 samsung->sabi_mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 samsung->sabi_mutex.dep_map->name 0-255
PARAM_VALUE 0 samsung->sabi_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 samsung->sabi_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 samsung->sabi_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 samsung->sabi_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 samsung->sabi_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 samsung->sabi_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 samsung->sabi_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 *samsung->sdiag 0-255
PARAM_VALUE 1 data 3259042656110964736
BUF_SIZE 0 samsung 1328
BUF_SIZE 0 samsung->quirks 3
DATA_SOURCE 0 samsung $0
NO_OVERFLOW_SIMPLE 0 samsung->backlight_device->props.brightness

drivers/platform/x86/samsung-laptop.c swsmi_rfkill_query() -> swsmi_wireless_status()

Type Parameter Key Value
PARAM_VALUE 1 data 209577040365355008
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &rfkill_global_mutex

drivers/platform/x86/samsung-laptop.c swsmi_rfkill_set() -> swsmi_wireless_status()

Type Parameter Key Value
PARAM_VALUE 0 samsung 4096-ptr_max
PARAM_VALUE 1 data 7277964748394934272
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &rfkill_global_mutex