Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/tty/hvc/hvc_xen.c xencons_backend_changed() -> hvc_remove()

Type Parameter Key Value
PARAM_VALUE 0 hp 1-u64max
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &xenwatch_mutex

drivers/tty/hvc/hvc_xen.c xencons_disconnect_backend() -> hvc_remove()

Type Parameter Key Value
PARAM_VALUE 0 hp 1-u64max
PARAM_VALUE 0 hp->port.client_ops->lookahead_buf 0,5552213984272089088
PARAM_VALUE 0 hp->port.client_ops->receive_buf 0,2070410949742354432,5991726090128461824
PARAM_VALUE 0 hp->port.client_ops->write_wakeup 0,4180907491510067200,7004002109319299072
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->reclaim_sem

drivers/char/virtio_console.c unplug_port() -> hvc_remove()

Type Parameter Key Value
PARAM_VALUE 0 hp 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL