Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/hvc/hvc_xen.c xen_pv_console_init() -> xencons_info_pv_init()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->intf 0
PARAM_VALUE 1 vtermno 5793134
BUF_SIZE 0 info 144,u64max
BUF_SIZE 0 info 144,u64max
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 flags
LOCK2 global &xencons_lock

drivers/tty/hvc/hvc_xen.c xenboot_console_setup() -> xencons_info_pv_init()

Type Parameter Key Value
PARAM_VALUE 0 info 2841846397712650240
PARAM_VALUE 1 vtermno 0
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &console_mutex
HALF_LOCKED2 &_T->lock->lock
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->flags
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &console_sem
HALF_LOCKED2 global &dynamic_netconsole_mutex
HALF_LOCKED2 global &goldfish_tty_lock
HALF_LOCKED2 global &psinfo_lock
HALF_LOCKED2 irq