Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/x86/dell/dell-laptop.c dell_rfkill_query() -> dell_rfkill_update_hw_state()

Type Parameter Key Value
PARAM_VALUE 0 rfkill 4096-ptr_max
PARAM_VALUE 1 radio 0-15
PARAM_VALUE 2 status 99
PARAM_VALUE 3 hwswitch 99
DATA_SOURCE 0 rfkill $0
PARAM_COMPARE 2 status == $3
PARAM_COMPARE 3 hwswitch == $2
BIT_INFO 0 rfkill->dev.power.power_state.event 0x0,0xfffffff9
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &rfkill_global_mutex

drivers/platform/x86/dell/dell-laptop.c dell_update_rfkill() -> dell_rfkill_update_hw_state()

Type Parameter Key Value
PARAM_VALUE 0 rfkill 4096-ptr_max
PARAM_VALUE 1 radio 1
PARAM_VALUE 2 status 99
PARAM_VALUE 3 hwswitch 0,99
FUZZY_MAX 3 hwswitch 99
PARAM_COMPARE 2 status == $3
PARAM_COMPARE 3 hwswitch == $2
BIT_INFO 3 hwswitch 0x0,0x63
HARD_MAX 3 hwswitch 99
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/platform/x86/dell/dell-laptop.c dell_update_rfkill() -> dell_rfkill_update_hw_state()

Type Parameter Key Value
PARAM_VALUE 0 rfkill 4096-ptr_max
PARAM_VALUE 1 radio 2
PARAM_VALUE 2 status 99
PARAM_VALUE 3 hwswitch 0,99
FUZZY_MAX 3 hwswitch 99
PARAM_COMPARE 2 status == $3
PARAM_COMPARE 3 hwswitch == $2
BIT_INFO 3 hwswitch 0x0,0x63
HARD_MAX 3 hwswitch 99
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/platform/x86/dell/dell-laptop.c dell_update_rfkill() -> dell_rfkill_update_hw_state()

Type Parameter Key Value
PARAM_VALUE 0 rfkill 4096-ptr_max
PARAM_VALUE 1 radio 3
PARAM_VALUE 2 status 99
PARAM_VALUE 3 hwswitch 0,99
FUZZY_MAX 3 hwswitch 99
PARAM_COMPARE 2 status == $3
PARAM_COMPARE 3 hwswitch == $2
BIT_INFO 3 hwswitch 0x0,0x63
HARD_MAX 3 hwswitch 99
NOCHECK_CALL
HALF_LOCKED2 &pool->lock