asus_wmi_get_devstate_bits identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/platform/x86/asus-wmi.c, line 616 (as a function)

Referenced in 1 files:

drivers/platform/x86/asus-wmi.c
- line 639
- line 1895

Smatch caller information:

drivers/platform/x86/asus-wmi.c asus_wmi_get_devstate_simple() -> asus_wmi_get_devstate_bits()

Type	Parameter	Key	Value
PARAM_VALUE	0	asus->camera_led.dev->dma_io_tlb_mem->phys_limit	0-s64max
PARAM_VALUE	0	asus->camera_led.dev->kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	asus->camera_led.dev->kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	asus->camera_led.dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	asus->camera_led.trigger_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	asus->camera_led.trigger_lock.first_waiter->type	0-1
PARAM_VALUE	0	asus->driver->event_guid	4096-ptr_max
PARAM_VALUE	0	asus->driver->i8042_filter	0,7304972359226294272
PARAM_VALUE	0	asus->driver->input_name	2455760333665607680,4121185164893474816
PARAM_VALUE	0	asus->driver->input_phys	500710054681018368,4662195606358487040
PARAM_VALUE	0	asus->driver->key_filter	1538540019182526464,1952034039638806528
PARAM_VALUE	0	asus->driver->quirks	0,7131457386494377984,7319627047817232384
PARAM_VALUE	0	asus->driver->wlan_ctrl_by_user	0-1
PARAM_VALUE	0	asus->inputdev->dev.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	asus->inputdev->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	asus->inputdev->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	asus->inputdev->poller->poll_interval	0-4294967295
PARAM_VALUE	0	asus->inputdev->poller->poll_interval_max	0-4294967295
PARAM_VALUE	0	asus->lightbar_led.dev->dma_io_tlb_mem->phys_limit	0-s64max
PARAM_VALUE	0	asus->lightbar_led.dev->kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	asus->lightbar_led.dev->kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	asus->lightbar_led.dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	asus->lightbar_led.trigger_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	asus->lightbar_led.trigger_lock.first_waiter->type	0-1
PARAM_VALUE	0	asus->micmute_led.dev->dma_io_tlb_mem->phys_limit	0-s64max
PARAM_VALUE	0	asus->micmute_led.dev->kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	asus->micmute_led.dev->kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	asus->micmute_led.dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	asus->micmute_led.trigger_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	asus->micmute_led.trigger_lock.first_waiter->type	0-1
PARAM_VALUE	0	asus->tpd_led.dev->dma_io_tlb_mem->phys_limit	0-s64max
PARAM_VALUE	0	asus->tpd_led.dev->kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	asus->tpd_led.dev->kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	asus->tpd_led.dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	asus->tpd_led.trigger_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	asus->tpd_led.trigger_lock.first_waiter->type	0-1
PARAM_VALUE	0	asus->wlan_led.dev->dma_io_tlb_mem->phys_limit	0-s64max
PARAM_VALUE	0	asus->wlan_led.dev->kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	asus->wlan_led.dev->kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	asus->wlan_led.dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	asus->wlan_led.trigger_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	asus->wlan_led.trigger_lock.first_waiter->type	0-1
PARAM_VALUE	2	mask	1
BUF_SIZE	0	asus	s32min-(-1),1-s32max
BUF_SIZE	0	asus	s32min-(-1),1-s32max
BUF_SIZE	0	asus->inputdev	(-1),2480
BUF_SIZE	0	asus->inputdev->dev.parent	(-1),1616
BUF_SIZE	0	asus->led_workqueue	(-1),512,528-8720
DATA_SOURCE	0	asus	$0
DATA_SOURCE	1	dev_id	$1
STR_LEN	0	asus	(-1),8-11,14
STR_LEN	0	asus	(-1),8-11,14
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE	0	asus->camera_led.blink_delay_off
NO_OVERFLOW_SIMPLE	0	asus->camera_led.blink_delay_on
NO_OVERFLOW_SIMPLE	0	asus->hotplug_workqueue->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE	0	asus->inputdev->keycodemax
NO_OVERFLOW_SIMPLE	0	asus->inputdev->max_vals
NO_OVERFLOW_SIMPLE	0	asus->lightbar_led.blink_delay_off
NO_OVERFLOW_SIMPLE	0	asus->lightbar_led.blink_delay_on
NO_OVERFLOW_SIMPLE	0	asus->micmute_led.blink_delay_off
NO_OVERFLOW_SIMPLE	0	asus->micmute_led.blink_delay_on
NO_OVERFLOW_SIMPLE	0	asus->tpd_led.blink_delay_off
NO_OVERFLOW_SIMPLE	0	asus->tpd_led.blink_delay_on
NO_OVERFLOW_SIMPLE	0	asus->wlan_led.blink_delay_off
NO_OVERFLOW_SIMPLE	0	asus->wlan_led.blink_delay_on
UNITS	0	asus	unit_byte
HALF_LOCKED2		&of->mutex
HALF_LOCKED2	0	&asus->wmi_lock

drivers/platform/x86/asus-wmi.c kbd_led_read() -> asus_wmi_get_devstate_bits()

Type	Parameter	Key	Value
PARAM_VALUE	0	asus	4096-ptr_max
PARAM_VALUE	0	asus->driver->quirks	0,7131457386494377984,7319627047817232384
PARAM_VALUE	0	asus->inputdev->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	asus->inputdev->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	asus->inputdev->poller->poll_interval	0-4294967295
PARAM_VALUE	0	asus->inputdev->poller->poll_interval_max	0-4294967295
PARAM_VALUE	0	asus->tpd_led.dev->dma_io_tlb_mem->debugfs	0-s64max
PARAM_VALUE	0	asus->tpd_led.dev->kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	asus->tpd_led.trigger_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	asus->tpd_led.trigger_lock.first_waiter->type	0-1
PARAM_VALUE	1	dev_id	327713
PARAM_VALUE	2	mask	u16max
BUF_SIZE	0	asus	(-1),5808
BUF_SIZE	0	asus	(-1),5808
BUF_SIZE	0	asus->kbd_led.name	(-1),20
BUF_SIZE	0	asus->led_workqueue	(-1),512,528-8720
BUF_SIZE	0	asus->tpd_led.name	(-1),15
DATA_SOURCE	0	asus	$0
STR_LEN	0	asus->kbd_led.name	(-1),19
STR_LEN	0	asus->tpd_led.name	(-1),14
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE	0	asus->inputdev->keycodemax
NO_OVERFLOW_SIMPLE	0	asus->inputdev->max_vals