Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/gpio/gpio-nomadik.c nmk_gpio_dbg_show() -> nmk_gpio_dbg_show_one()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->buf 1-u64max
PARAM_VALUE 0 s->from 0
PARAM_VALUE 0 s->lock.dep_map->name 0-255
PARAM_VALUE 0 s->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 s->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 s->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 s->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 s->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 s->lock.wait_lock.owner (-1)
PARAM_VALUE 0 s->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 s->op 4096-ptr_max
PARAM_VALUE 0 s->private 4096-ptr_max
PARAM_VALUE 1 pctldev 0
PARAM_VALUE 2 chip 4096-ptr_max
PARAM_VALUE 2 chip->dbg_show 1-u64max
PARAM_VALUE 2 chip->ngpio 1-u16max
PARAM_VALUE 2 chip->parent 0,4096-ptr_max
PARAM_VALUE 2 chip->parent->bus 0,4096-ptr_max
PARAM_VALUE 3 offset 0-65534
BUF_SIZE 0 s s32min-(-2),1-s32max
BUF_SIZE 0 s s32min-(-2),1-s32max
BUF_SIZE 0 s->buf (-1)-2147479552
CAPPED_DATA 0 s->size 1
CAPPED_DATA 3 offset 1
DATA_SOURCE 0 s $0
DATA_SOURCE 2 chip $1
PARAM_COMPARE 2 chip->ngpio > $3
PARAM_COMPARE 3 offset < $2->ngpio
CONSTRAINT 3 offset <90
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 s->read_pos 0-13442450941
LOCK2 _T->lock
LOCK2 0 &s->lock
TYPE_LOCK (struct seq_file)->lock

drivers/pinctrl/nomadik/pinctrl-nomadik.c nmk_pin_dbg_show() -> nmk_gpio_dbg_show_one()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->buf 1-u64max
PARAM_VALUE 0 s->from 0
PARAM_VALUE 0 s->lock.dep_map->name 0-255
PARAM_VALUE 0 s->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 s->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 s->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 s->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 s->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 s->lock.wait_lock.owner (-1)
PARAM_VALUE 0 s->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 s->op 4096-ptr_max
PARAM_VALUE 0 s->private 4096-ptr_max
PARAM_VALUE 1 pctldev 4096-ptr_max
PARAM_VALUE 1 pctldev->desc 4096-ptr_max
PARAM_VALUE 1 pctldev->desc->npins 1-u32max
PARAM_VALUE 1 pctldev->desc->pins 4096-ptr_max
PARAM_VALUE 1 pctldev->mutex.dep_map->name 0-255
PARAM_VALUE 1 pctldev->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 pctldev->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 pctldev->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 pctldev->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 pctldev->mutex.wait_lock.owner (-1)
PARAM_VALUE 1 pctldev->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 2 chip 4096-ptr_max
BUF_SIZE 0 s s32min-(-2),1-s32max
BUF_SIZE 0 s s32min-(-2),1-s32max
BUF_SIZE 0 s->buf (-1)-2147479552
BUF_SIZE 1 pctldev s32min-(-2),1-s32max
BUF_SIZE 1 pctldev s32min-(-2),1-s32max
BUF_SIZE 2 chip 512
CAPPED_DATA 0 s->size 1
DATA_SOURCE 0 s $1
DATA_SOURCE 1 pctldev $0
DATA_SOURCE 2 chip r find_gc_from_pin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 s->read_pos 0-13442450941
LOCK2 0 &s->lock
LOCK2 1 &pctldev->mutex
TYPE_LOCK (struct pinctrl_dev)->mutex
TYPE_LOCK (struct seq_file)->lock