Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/input/misc/xen-kbdfront.c xenkbd_probe() -> xenkbd_connect_backend()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 dev->otherend_watch.node 0
PARAM_VALUE 0 dev->otherend_watch.nr_pending 0
PARAM_VALUE 0 dev->reclaim_sem.first_waiter->list.next 5349227543279349760
PARAM_VALUE 0 dev->reclaim_sem.first_waiter->list.prev 5349227543279349760
PARAM_VALUE 0 dev->reclaim_sem.first_waiter->list.prev->next 5349227543279349760
PARAM_VALUE 0 dev->reclaim_sem.first_waiter->up 0
PARAM_VALUE 0 dev->reclaim_sem.lock.dep_map->name 0-255
PARAM_VALUE 0 dev->reclaim_sem.lock.owner (-1)
PARAM_VALUE 0 dev->reclaim_sem.lock.owner_cpu u32max
PARAM_VALUE 1 info 4096-ptr_max
PARAM_VALUE 1 info->gref (-1)
PARAM_VALUE 1 info->irq (-1)
PARAM_VALUE 1 info->page 18379471554275704832,18446612682070032384
PARAM_VALUE 1 info->xbdev 4096-ptr_max
PARAM_VALUE 1 info->xbdev->dev.driver_data 4096-ptr_max
PARAM_VALUE 1 info->xbdev->otherend_watch.node 0
PARAM_VALUE 1 info->xbdev->otherend_watch.nr_pending 0
PARAM_VALUE 1 info->xbdev->reclaim_sem.lock.owner (-1)
PARAM_VALUE 1 info->xbdev->reclaim_sem.lock.owner_cpu u32max
BUF_SIZE 1 info 88
BUF_SIZE 1 info->kbd (-1),2480
BUF_SIZE 1 info->mtouch (-1),2480
BUF_SIZE 1 info->ptr (-1),2480
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 info r _kzalloc_noprof
STR_LEN 1 info->kbd->name (-1),20
STR_LEN 1 info->kbd->phys (-1),31
STR_LEN 1 info->mtouch->name (-1),23
STR_LEN 1 info->mtouch->phys (-1),31
STR_LEN 1 info->phys 31
STR_LEN 1 info->ptr->name (-1),19
STR_LEN 1 info->ptr->phys (-1),31
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 info->kbd->max_vals
NO_OVERFLOW_SIMPLE 1 info->mtouch->max_vals
NO_OVERFLOW_SIMPLE 1 info->ptr->max_vals
LOCK2 0 &dev->reclaim_sem
TYPE_LOCK (struct xenbus_device)->reclaim_sem

drivers/input/misc/xen-kbdfront.c xenkbd_resume() -> xenkbd_connect_backend()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->otherend_watch.node 0
PARAM_VALUE 0 dev->otherend_watch.nr_pending 0
PARAM_VALUE 0 dev->state 1
PARAM_VALUE 1 info 4096-ptr_max
PARAM_VALUE 1 info->gref (-1)
PARAM_VALUE 1 info->irq (-1)
BUF_SIZE 1 info s32min-(-2),1-s32max
BUF_SIZE 1 info s32min-(-2),1-s32max
CAPPED_DATA 1 info 1
DATA_SOURCE 0 dev $0
PARAM_COMPARE 0 dev->dev.driver_data == $1
PARAM_COMPARE 1 info == $0->dev.driver_data
MEM_ZERO 1 info->page
RX_PATH
TASK_NOT_RUNNING
UNITS 1 info unit_byte