Defined in 3 files as a function:

Defined in 2 files as a enumerator:

Referenced in 11 files:

Smatch caller information:

drivers/vhost/net.c handle_tx_kick() -> handle_tx()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/vhost/net.c handle_tx_net() -> handle_tx()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/tty/serial/pch_uart.c pch_uart_interrupt() -> handle_tx()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->membase 4096-ptr_max
PARAM_VALUE 0 net->port.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 net->use_dma 0
DATA_SOURCE 0 net $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 net->dmsr 0-15
NO_OVERFLOW_SIMPLE 0 net->orig_nent
LOCK2 0 &net->port.lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags
TYPE_LOCK (struct uart_port)->lock

drivers/tty/serial/vt8500_serial.c vt8500_irq() -> handle_tx()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->cons 0,4096-ptr_max
PARAM_VALUE 0 net->lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 net $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &net->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags
TYPE_LOCK (struct uart_port)->lock

drivers/tty/serial/vt8500_serial.c vt8500_start_tx() -> handle_tx()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->ops->send_xchar 0,625199656327569408,6317227003971317760
PARAM_VALUE 0 net->ops->start_rx 0,4096-ptr_max
BUF_SIZE 0 net s32min-(-1),1-s32max
BUF_SIZE 0 net s32min-(-1),1-s32max
DATA_SOURCE 0 net $0
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 net->cons_flow 0-1
HOST_DATA 0 net->console_reinit 0-255
HOST_DATA 0 net->ctrl_id 0-u32max
HOST_DATA 0 net->custom_divisor 0-u32max
HOST_DATA 0 net->fifosize 0-u32max
HOST_DATA 0 net->flags 0-u64max
HOST_DATA 0 net->frame_time 0-u32max
HOST_DATA 0 net->has_sysrq 0-255
HOST_DATA 0 net->hub6 0-255
HOST_DATA 0 net->icount.brk 0-u32max
HOST_DATA 0 net->icount.buf_overrun 0-u32max
HOST_DATA 0 net->icount.cts 0-u32max
HOST_DATA 0 net->icount.dcd 0-u32max
HOST_DATA 0 net->icount.dsr 0-u32max
HOST_DATA 0 net->icount.frame 0-u32max
HOST_DATA 0 net->icount.overrun 0-u32max
HOST_DATA 0 net->icount.parity 0-u32max
HOST_DATA 0 net->icount.rng 0-u32max
HOST_DATA 0 net->icount.rx 0-u32max
HOST_DATA 0 net->icount.tx 0-u32max
HOST_DATA 0 net->ignore_status_mask 0-u32max
HOST_DATA 0 net->iobase 0-u64max
HOST_DATA 0 net->iotype s32min-s32max
HOST_DATA 0 net->irq 0-u32max
HOST_DATA 0 net->irqflags 0-u64max
HOST_DATA 0 net->iso7816.clk 0-u32max
HOST_DATA 0 net->iso7816.flags 0-u32max
HOST_DATA 0 net->iso7816.sc_di 0-u32max
HOST_DATA 0 net->iso7816.sc_fi 0-u32max
HOST_DATA 0 net->iso7816.tg 0-u32max
HOST_DATA 0 net->line 0-u32max
HOST_DATA 0 net->mapbase 0-u64max
HOST_DATA 0 net->mapsize 0-u64max
HOST_DATA 0 net->mctrl 0-u32max
HOST_DATA 0 net->minor 0-u32max
HOST_DATA 0 net->port_id 0-u32max
HOST_DATA 0 net->quirks 0-255
HOST_DATA 0 net->read_status_mask 0-u32max
HOST_DATA 0 net->regshift 0-255
HOST_DATA 0 net->rs485.addr_dest 0-255
HOST_DATA 0 net->rs485.addr_recv 0-255
HOST_DATA 0 net->rs485.delay_rts_after_send 0-u32max
HOST_DATA 0 net->rs485.delay_rts_before_send 0-u32max
HOST_DATA 0 net->rs485.flags 0-u32max
HOST_DATA 0 net->rs485_supported.addr_dest 0-255
HOST_DATA 0 net->rs485_supported.addr_recv 0-255
HOST_DATA 0 net->rs485_supported.delay_rts_after_send 0-u32max
HOST_DATA 0 net->rs485_supported.delay_rts_before_send 0-u32max
HOST_DATA 0 net->rs485_supported.flags 0-u32max
HOST_DATA 0 net->status 0-u32max
HOST_DATA 0 net->suspended 0-255
HOST_DATA 0 net->sysrq 0-u64max
HOST_DATA 0 net->sysrq_ch 0-255
HOST_DATA 0 net->sysrq_seq 0-255
HOST_DATA 0 net->type 0-u32max
HOST_DATA 0 net->uartclk 0-u32max
HOST_DATA 0 net->x_char 0-255
HALF_LOCKED2 &_T->lock->lock
HALF_LOCKED2 _T->flags
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
HALF_LOCKED2 0 &net->lock