Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/hvc/hvc_xen.c xen_console_remove() -> xencons_free()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->evtchn 0
PARAM_VALUE 0 info->gntref 0
PARAM_VALUE 0 info->hvc 0
PARAM_VALUE 0 info->irq s32min-0
PARAM_VALUE 0 info->xbdev 1-u64max
BUF_SIZE 0 info s32min-(-2),1-s32max
BUF_SIZE 0 info s32min-(-2),1-s32max
DATA_SOURCE 0 info $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->reclaim_sem
HALF_LOCKED2 &_dev->mutex
TYPE_LOCK (struct xenbus_device)->reclaim_sem

drivers/tty/hvc/hvc_xen.c xencons_probe() -> xencons_free()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->evtchn 0
PARAM_VALUE 0 info->gntref 0
PARAM_VALUE 0 info->hvc 0
PARAM_VALUE 0 info->intf 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 info->irq s32min-0
PARAM_VALUE 0 info->vtermno 5793086-5793133,5793135-5793341
PARAM_VALUE 0 info->xbdev 4096-ptr_max
PARAM_VALUE 0 info->xbdev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 info->xbdev->nodename 4096-ptr_max
PARAM_VALUE 0 info->xbdev->otherend_watch.node 0
PARAM_VALUE 0 info->xbdev->otherend_watch.nr_pending 0
PARAM_VALUE 0 info->xbdev->reclaim_sem.lock.owner (-1)
PARAM_VALUE 0 info->xbdev->reclaim_sem.lock.owner_cpu u32max
BUF_SIZE 0 info 144
CAPPED_DATA 0 info->intf 1
DATA_SOURCE 0 info r _kzalloc_noprof
STR_LEN 0 info->xbdev->nodename 0-18446744073709551613
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->reclaim_sem
TYPE_LOCK (struct xenbus_device)->reclaim_sem