Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/chrome/chromeos_tbmc.c chromeos_tbmc_notify() -> chromeos_tbmc_query_switch()

Type Parameter Key Value
PARAM_VALUE 0 adev 0,4096-ptr_max
BUF_SIZE 1 idev s32min-(-2),1-s32max
NOCHECK_CALL
UNITS 0 adev unit_byte
HALF_LOCKED2 &pool->lock

drivers/platform/chrome/chromeos_tbmc.c chromeos_tbmc_open() -> chromeos_tbmc_query_switch()

Type Parameter Key Value
PARAM_VALUE 1 idev 4096-ptr_max
PARAM_VALUE 1 idev->going_away 0
PARAM_VALUE 1 idev->inhibited 0
PARAM_VALUE 1 idev->open 1-u64max
BUF_SIZE 0 adev s32min-(-2),1-s32max
BUF_SIZE 0 adev s32min-(-2),1-s32max
DATA_SOURCE 1 idev $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 idev->max_vals
UNITS 0 adev unit_byte
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock

drivers/platform/chrome/chromeos_tbmc.c chromeos_tbmc_resume() -> chromeos_tbmc_query_switch()

Type Parameter Key Value
PARAM_VALUE 0 adev 0,4096-ptr_max
BUF_SIZE 1 idev s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 adev unit_byte