samsung_new_rfkill identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/platform/x86/samsung-laptop.c, line 1035 (as a function)

Referenced in 1 files:

drivers/platform/x86/samsung-laptop.c

Smatch caller information:

drivers/platform/x86/samsung-laptop.c samsung_rfkill_init_seclinux() -> samsung_new_rfkill()

Type	Parameter	Key	Value
PARAM_VALUE	0	samsung	4096-ptr_max
PARAM_VALUE	0	samsung->config	4096-ptr_max
PARAM_VALUE	0	samsung->config->commands.get_battery_life_extender	0,101,u16max
PARAM_VALUE	0	samsung->config->commands.get_lid_handling	0,109,u16max
PARAM_VALUE	0	samsung->config->commands.get_usb_charge	0,103,u16max
PARAM_VALUE	0	samsung->config->commands.kbd_backlight	0,120,u16max
PARAM_VALUE	0	samsung->config->commands.set_linux	0,10,255
PARAM_VALUE	0	samsung->config->sabi_version	2-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.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.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	arfkill	4096-ptr_max
PARAM_VALUE	2	name	8443212122897231872
PARAM_VALUE	3	type	1
PARAM_VALUE	4	ops	2733428097724743680
PARAM_VALUE	5	blocked	(-1)
BUF_SIZE	0	samsung	(-1),1328
BUF_SIZE	0	samsung	(-1),1328
BUF_SIZE	0	samsung->quirks	3
BUF_SIZE	2	name	13
DATA_SOURCE	0	samsung	$0
STR_LEN	0	samsung	12
TERMINATED	2	name	1
HARD_MAX	0	samsung->config->sabi_version	3
NO_OVERFLOW_SIMPLE	0	samsung->backlight_device->props.brightness

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

Type	Parameter	Key	Value
PARAM_VALUE	0	samsung	4096-ptr_max
PARAM_VALUE	0	samsung->config	4096-ptr_max
PARAM_VALUE	0	samsung->config->commands.get_battery_life_extender	0,101,u16max
PARAM_VALUE	0	samsung->config->commands.get_lid_handling	0,109,u16max
PARAM_VALUE	0	samsung->config->commands.get_usb_charge	0,103,u16max
PARAM_VALUE	0	samsung->config->commands.kbd_backlight	0,120,u16max
PARAM_VALUE	0	samsung->config->commands.set_linux	0,10,255
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	0,4096-ptr_max
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->sabi_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	*samsung->sdiag	0-255
PARAM_VALUE	1	arfkill	4096-ptr_max
PARAM_VALUE	2	name	8443212122897231872
PARAM_VALUE	3	type	1
PARAM_VALUE	4	ops	6166712159881113600
PARAM_VALUE	5	blocked	0-1
BUF_SIZE	0	samsung	1328
BUF_SIZE	0	samsung->quirks	3
BUF_SIZE	2	name	13
DATA_SOURCE	0	samsung	$0
FUZZY_MAX	5	blocked	1
STR_LEN	0	samsung	12
TERMINATED	2	name	1
HARD_MAX	5	blocked	1
NO_OVERFLOW_SIMPLE	0	samsung->backlight_device->props.brightness

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

Type	Parameter	Key	Value
PARAM_VALUE	0	samsung	4096-ptr_max
PARAM_VALUE	0	samsung->config	4096-ptr_max
PARAM_VALUE	0	samsung->config->commands.get_battery_life_extender	0,101,u16max
PARAM_VALUE	0	samsung->config->commands.get_lid_handling	0,109,u16max
PARAM_VALUE	0	samsung->config->commands.get_usb_charge	0,103,u16max
PARAM_VALUE	0	samsung->config->commands.kbd_backlight	0,120,u16max
PARAM_VALUE	0	samsung->config->commands.set_linux	0,10,255
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	0,4096-ptr_max
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->sabi_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	*samsung->sdiag	0-255
PARAM_VALUE	1	arfkill	4096-ptr_max
PARAM_VALUE	2	name	8385250230506704896
PARAM_VALUE	3	type	2
PARAM_VALUE	4	ops	6166712159881113600
PARAM_VALUE	4	ops->set_block	1-u64max
PARAM_VALUE	5	blocked	0-1
BUF_SIZE	0	samsung	1328
BUF_SIZE	0	samsung->quirks	(-1),3
BUF_SIZE	2	name	18
DATA_SOURCE	0	samsung	$0
FUZZY_MAX	5	blocked	1
STR_LEN	0	samsung	17
TERMINATED	2	name	1
HARD_MAX	5	blocked	1
NO_OVERFLOW_SIMPLE	0	samsung->backlight_device->props.brightness