Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/tty/hvc/hvc_xen.c dom0_read_console() -> HYPERVISOR_console_io()

Type Parameter Key Value
PARAM_VALUE 0 cmd 1
PARAM_VALUE 1 count s32min-(-1),1-s32max
PARAM_VALUE 2 str 1073854844030898176,7619971954713092096
BUF_SIZE 2 str (-1),16
BUF_SIZE 2 str (-1),16
DATA_SOURCE 1 count $2
DATA_SOURCE 2 str $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &hp->lock
HALF_LOCKED2 flags

drivers/tty/hvc/hvc_xen.c dom0_write_console() -> HYPERVISOR_console_io()

Type Parameter Key Value
PARAM_VALUE 0 cmd 0
BUF_SIZE 2 str (-1),1,7,11,15-16,25-26,33,37,65,68,70-71,85,256,512,2048
BUF_SIZE 2 str (-1),1,7,11,15-16,25-26,33,37,65,68,70-71,85,256,512,2048
DATA_SOURCE 1 count $2
DATA_SOURCE 2 str $1
STR_LEN 0 cmd (-1),6,24-25,32,36,64,67,69-70
STR_LEN 2 str (-1),6,24-25,32,36,64,67,69-70
NOSPEC 1 count
NOSPEC 1 count
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 count 2-s32max[c]
USER_DATA 1 count 2-s32max[c][u]
HALF_LOCKED2 &hp->lock