Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/reset/core.c __reset_add_reset_gpio_device() -> fwnode_reference_args_equal()

Type Parameter Key Value
PARAM_VALUE 0 left 3639118779573370880
PARAM_VALUE 0 left->args 4096-ptr_max
PARAM_VALUE 0 left->nargs 2
PARAM_VALUE 1 right 4096-ptr_max
DATA_SOURCE 0 left $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock
HALF_LOCKED2 global &syscon_list_lock

drivers/reset/core.c __reset_find_rcdev() -> fwnode_reference_args_equal()

Type Parameter Key Value
PARAM_VALUE 0 left 3639118779573370880
PARAM_VALUE 0 left->nargs 0-16,2147483648-u32max
BUF_SIZE 1 right s32min-(-2),1-s32max
BUF_SIZE 1 right s32min-(-2),1-s32max
CAPPED_DATA 0 left->nargs 1
DATA_SOURCE 0 left $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock
HALF_LOCKED2 global &syscon_list_lock