Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/virtio_console.c fill_readbuf() -> port_has_data()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
DATA_SOURCE 0 port $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 port->inbuf->dma 0-u64max
HOST_DATA 0 port->inbuf->len 0-u32max[c]
HOST_DATA 0 port->inbuf->sgpages 0-u32max
HOST_DATA 0 port->inbuf->size 0-u64max

drivers/char/virtio_console.c port_fops_read() -> port_has_data()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->guest_connected 1
BUF_SIZE 0 port s32min-(-2),1-s32max
BUF_SIZE 0 port s32min-(-2),1-s32max

drivers/char/virtio_console.c port_fops_read() -> port_has_data()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->guest_connected 1
PARAM_VALUE 0 port->inbuf->len 0-u32max
PARAM_VALUE 0 port->inbuf->offset 0
PARAM_VALUE 0 port->inbuf_lock.rlock.dep_map->name 0-255
BUF_SIZE 0 port s32min-(-2),1-s32max
BUF_SIZE 0 port s32min-(-2),1-s32max
HOST_DATA 0 port->inbuf->dma 0-u64max
HOST_DATA 0 port->inbuf->len 0-u32max[c]
HOST_DATA 0 port->inbuf->sgpages 0-u32max
HOST_DATA 0 port->inbuf->size 0-u64max

drivers/char/virtio_console.c will_read_block() -> port_has_data()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->guest_connected 1
BUF_SIZE 0 port s32min-(-2),1-s32max
BUF_SIZE 0 port s32min-(-2),1-s32max
DATA_SOURCE 0 port $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 port->inbuf->dma 0-u64max
HOST_DATA 0 port->inbuf->sgpages 0-u32max