Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/hvc/hvc_xen.c xencons_probe() -> xencons_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->nodename 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->intf 18379471554275704832,18446612682070032384
PARAM_VALUE 1 info->vtermno 5793086-5793133,5793135-5793341
PARAM_VALUE 1 info->xbdev 4096-ptr_max
PARAM_VALUE 1 info->xbdev->dev.driver_data 4096-ptr_max
PARAM_VALUE 1 info->xbdev->nodename 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 144
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 info r _kzalloc_noprof
STR_LEN 1 info->xbdev->nodename 0-18446744073709551613
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &dev->reclaim_sem
TYPE_LOCK (struct xenbus_device)->reclaim_sem

drivers/tty/hvc/hvc_xen.c xencons_resume() -> xencons_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->evtchn 0
PARAM_VALUE 1 info->gntref 0
PARAM_VALUE 1 info->hvc 0
PARAM_VALUE 1 info->irq s32min-0
BUF_SIZE 1 info s32min-(-2),1-s32max
BUF_SIZE 1 info s32min-(-2),1-s32max
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->intf
RX_PATH
TASK_NOT_RUNNING
UNITS 1 info unit_byte