Defined in 1 files as a prototype:

Defined in 1 files as a macro:

Defined in 16 files as a function:

Referenced in 17 files:

Smatch caller information:

drivers/gpio/gpio-f7188x.c f7188x_gpio_direction_in() -> superio_select()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->flags
HALF_LOCKED2 _T->lock

drivers/gpio/gpio-f7188x.c f7188x_gpio_direction_out() -> superio_select()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

drivers/gpio/gpio-f7188x.c f7188x_gpio_get() -> superio_select()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpio/gpio-f7188x.c f7188x_gpio_get_direction() -> superio_select()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

drivers/gpio/gpio-f7188x.c f7188x_gpio_set() -> superio_select()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpio/gpio-f7188x.c f7188x_gpio_set_config() -> superio_select()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

drivers/watchdog/it8712f_wdt.c it8712f_wdt_disable() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/watchdog/it8712f_wdt.c it8712f_wdt_enable() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/watchdog/it8712f_wdt.c it8712f_wdt_find() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 9
NOCHECK_CALL

drivers/watchdog/it8712f_wdt.c it8712f_wdt_ioctl() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 7
NOCHECK_CALL

drivers/watchdog/it8712f_wdt.c it8712f_wdt_ioctl() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 7
NOCHECK_CALL

drivers/watchdog/it87_wdt.c it87_wdt_init() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 7
NOCHECK_CALL

drivers/watchdog/it87_wdt.c it87_wdt_init() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 4
NOCHECK_CALL

drivers/watchdog/it87_wdt.c wdt_update_timeout() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/watchdog/f71808e_wdt.c fintek_wdt_keepalive() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 1 ld 7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &wd_data->lock

drivers/watchdog/f71808e_wdt.c fintek_wdt_probe() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 1 ld 7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/watchdog/f71808e_wdt.c fintek_wdt_start() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 1 ld 7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &wd_data->lock

drivers/watchdog/f71808e_wdt.c fintek_wdt_start() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 1 ld 7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &wd_data->lock

drivers/watchdog/f71808e_wdt.c fintek_wdt_stop() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 1 ld 7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/hwmon/it87.c it87_find() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 1 ld 4
DATA_SOURCE 0 base $0
NOCHECK_CALL

drivers/hwmon/it87.c it87_find() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 1 ld 5
DATA_SOURCE 0 base $0
NOCHECK_CALL

drivers/hwmon/it87.c it87_find() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 1 ld 7
DATA_SOURCE 0 base $0
NOCHECK_CALL

drivers/hwmon/it87.c it87_find() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 1 ld 7
DATA_SOURCE 0 base $0
NOCHECK_CALL

drivers/hwmon/it87.c it87_find() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 1 ld 7
DATA_SOURCE 0 base $0
NOCHECK_CALL

drivers/hwmon/it87.c it87_find() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 1 ld 7
DATA_SOURCE 0 base $0
NOCHECK_CALL

drivers/hwmon/it87.c it87_find() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 1 ld 7
DATA_SOURCE 0 base $0
NOCHECK_CALL

drivers/hwmon/it87.c it87_find() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 1 ld 7
DATA_SOURCE 0 base $0
NOCHECK_CALL

drivers/hwmon/it87.c it87_find() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 1 ld 7
DATA_SOURCE 0 base $0
NOCHECK_CALL

drivers/hwmon/it87.c it87_find() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 1 ld 4
DATA_SOURCE 0 base $0
NOCHECK_CALL

drivers/hwmon/it87.c it87_resume_sio() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 1 ld 7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fsm->lock

drivers/hwmon/it87.c smbus_disable() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 1 ld 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &data->update_lock

drivers/hwmon/it87.c smbus_enable() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 1 ld 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &data->update_lock

drivers/hwmon/w83627ehf.c w83627ehf_find() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 46,78
PARAM_VALUE 1 ld 11
DATA_SOURCE 0 base $0
HARD_MAX 0 base 78
NOCHECK_CALL

drivers/hwmon/w83627ehf.c w83627ehf_probe() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 1 ld 13
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/hwmon/w83627ehf.c w83627ehf_probe() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 1 ld 11
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/hwmon/f71882fg.c f71882fg_find() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 46,78
PARAM_VALUE 1 ld 2
DATA_SOURCE 0 base $0
HARD_MAX 0 base 78
NOCHECK_CALL

drivers/hwmon/f71882fg.c f71882fg_find() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 46,78
PARAM_VALUE 1 ld 4
DATA_SOURCE 0 base $0
HARD_MAX 0 base 78
NOCHECK_CALL

drivers/hwmon/vt1211.c vt1211_find() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 46,78
PARAM_VALUE 1 ld 11
DATA_SOURCE 0 base $0
HARD_MAX 0 base 78
NOCHECK_CALL

drivers/hwmon/smsc47b397.c smsc47b397_find() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 8
NOCHECK_CALL

drivers/hwmon/nct6683.c beep_enable_show() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 1 ld 11
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &data->update_lock
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex
TYPE_LOCK (struct nct6683_data)->update_lock

drivers/hwmon/nct6683.c beep_enable_store() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 1 ld 11
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &data->update_lock
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex
TYPE_LOCK (struct nct6683_data)->update_lock

drivers/hwmon/nct6683.c intrusion0_alarm_show() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 1 ld 10
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &data->update_lock
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex
TYPE_LOCK (struct nct6683_data)->update_lock

drivers/hwmon/nct6683.c intrusion0_alarm_store() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 1 ld 10
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &data->update_lock
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex
TYPE_LOCK (struct nct6683_data)->update_lock

drivers/hwmon/nct6683.c nct6683_find() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 1 ld 11
DATA_SOURCE 0 base $0
NOCHECK_CALL

drivers/hwmon/sch56xx-common.c sch56xx_find() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 46,78
PARAM_VALUE 1 ld 12
DATA_SOURCE 0 base $0
HARD_MAX 0 base 78
NOCHECK_CALL

drivers/hwmon/f71805f.c f71805f_find() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 46,78
PARAM_VALUE 1 ld 4
DATA_SOURCE 0 base $0
HARD_MAX 0 base 78
NOCHECK_CALL

drivers/watchdog/w83627hf_wdt.c w83627hf_init() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 8
NOCHECK_CALL

drivers/watchdog/w83627hf_wdt.c wdt_find() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 8
NOCHECK_CALL

drivers/watchdog/w83627hf_wdt.c wdt_get_time() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &wd_data->lock
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct watchdog_core_data)->lock

drivers/watchdog/w83627hf_wdt.c wdt_set_time() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/hwmon/w83627hf.c w83627hf_find() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 448015689226145792
PARAM_VALUE 0 base->sioaddr 46,78
PARAM_VALUE 1 ld 11
DATA_SOURCE 0 base $2
NOCHECK_CALL

drivers/hwmon/w83627hf.c w83627thf_read_gpio5() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 4096-ptr_max
PARAM_VALUE 1 ld 7
BUF_SIZE 0 base s32min-(-2),1-s32max
BUF_SIZE 0 base s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/hwmon/w83627hf.c w83687thf_read_vid() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 4096-ptr_max
PARAM_VALUE 1 ld 11
BUF_SIZE 0 base s32min-(-2),1-s32max
BUF_SIZE 0 base s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpio/gpio-it87.c it87_gpio_init() -> superio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 7
NOCHECK_CALL

drivers/hwmon/nct6775-platform.c clear_caseopen() -> (struct nct6775_sio_data)->sio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 4096-ptr_max
PARAM_VALUE 1 ld 10
BUF_SIZE 0 base 1-s32max
BUF_SIZE 0 base 1-s32max
CONTAINER 0 -32+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &data->update_lock
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex
TYPE_LOCK (struct nct6775_data)->update_lock

drivers/hwmon/nct6775-platform.c nct6775_check_fan_inputs() -> (struct nct6775_sio_data)->sio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 4096-ptr_max
PARAM_VALUE 1 ld 11
BUF_SIZE 0 base 1-s32max
BUF_SIZE 0 base 1-s32max
DATA_SOURCE 0 base $1
CONTAINER 0 -32+0 $(-1)
NOCHECK_CALL

drivers/hwmon/nct6775-platform.c nct6775_check_fan_inputs() -> (struct nct6775_sio_data)->sio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 4096-ptr_max
PARAM_VALUE 1 ld 18
BUF_SIZE 0 base 1-s32max
BUF_SIZE 0 base 1-s32max
DATA_SOURCE 0 base $1
CONTAINER 0 -32+0 $(-1)
NOCHECK_CALL

drivers/hwmon/nct6775-platform.c nct6775_find() -> (struct nct6775_sio_data)->sio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 329934800616574976
PARAM_VALUE 0 base->access 0
PARAM_VALUE 0 base->kind 0-12
PARAM_VALUE 0 base->sio_enter 3899411503205613568
PARAM_VALUE 0 base->sio_exit 2102751209484111872
PARAM_VALUE 0 base->sio_inb 2353064108615921664
PARAM_VALUE 0 base->sio_outb 3520450074150486016
PARAM_VALUE 0 base->sio_select 407622187916402688
PARAM_VALUE 1 ld 11
DATA_SOURCE 0 base $1
FUZZY_MAX 0 base->kind 12
CONTAINER 0 -32+0 $(-1)
HARD_MAX 0 base->kind 12
NOCHECK_CALL

drivers/hwmon/nct6775-platform.c nct6775_platform_probe_init() -> (struct nct6775_sio_data)->sio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 4096-ptr_max
PARAM_VALUE 1 ld 13
BUF_SIZE 0 base 1-s32max
BUF_SIZE 0 base 1-s32max
CONTAINER 0 -32+0 $(-1)
NOCHECK_CALL

drivers/hwmon/nct6775-platform.c nct6775_platform_probe_init() -> (struct nct6775_sio_data)->sio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 4096-ptr_max
PARAM_VALUE 1 ld 11
BUF_SIZE 0 base 1-s32max
BUF_SIZE 0 base 1-s32max
CONTAINER 0 -32+0 $(-1)
NOCHECK_CALL

drivers/hwmon/nct6775-platform.c nct6775_resume() -> (struct nct6775_sio_data)->sio_select()

Type Parameter Key Value
PARAM_VALUE 0 base 4096-ptr_max
PARAM_VALUE 1 ld 11
BUF_SIZE 0 base s32min-(-2),1-s32max
BUF_SIZE 0 base s32min-(-2),1-s32max
CONTAINER 0 -32+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &data->update_lock
TYPE_LOCK (struct nct6775_data)->update_lock