Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/x86/eeepc-laptop.c eeepc_rfkill_hotplug() -> eeepc_wlan_rfkill_blocked()

Type Parameter Key Value
PARAM_VALUE 0 eeepc->platform_device->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 eeepc->platform_device->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 eeepc->platform_device->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 eeepc->tpd_led.dev->kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 eeepc->tpd_led.dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 eeepc->tpd_led.trigger_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 eeepc->tpd_led.trigger_lock.first_waiter->type 0-1
BUF_SIZE 0 eeepc s32min-(-1),1-s32max
BUF_SIZE 0 eeepc s32min-(-1),1-s32max
DATA_SOURCE 0 eeepc $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 eeepc->backlight_device->props.brightness
NO_OVERFLOW_SIMPLE 0 eeepc->backlight_device->props.max_brightness
NO_OVERFLOW_SIMPLE 0 eeepc->inputdev->keycodemax
NO_OVERFLOW_SIMPLE 0 eeepc->inputdev->max_vals
NO_OVERFLOW_SIMPLE 0 eeepc->led_workqueue->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 eeepc->platform_device->pdev.id
NO_OVERFLOW_SIMPLE 0 eeepc->tpd_led.blink_delay_off
NO_OVERFLOW_SIMPLE 0 eeepc->tpd_led.blink_delay_on
UNITS 0 eeepc unit_byte