Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/serial/sccnxp.c sccnxp_disable_irq() -> sccnxp_write()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->dev 4096-ptr_max
PARAM_VALUE 0 port->dev->driver_data 4096-ptr_max
PARAM_VALUE 1 reg 5
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
DATA_SOURCE 0 port $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &s->lock
LOCK2 flags
HALF_LOCKED2 _T->lock
HALF_LOCKED2 0 &port->lock
TYPE_LOCK (struct sccnxp_port)->lock

drivers/tty/serial/sccnxp.c sccnxp_enable_irq() -> sccnxp_write()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->dev 4096-ptr_max
PARAM_VALUE 0 port->dev->dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 port->dev->driver_data 4096-ptr_max
PARAM_VALUE 0 port->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 port->ops->send_xchar 0,625199656327569408,6317227003971317760
PARAM_VALUE 0 port->ops->start_rx 0,4096-ptr_max
PARAM_VALUE 1 reg 5
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
DATA_SOURCE 0 port $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 port->cons_flow 0-1
HOST_DATA 0 port->console_reinit 0-255
HOST_DATA 0 port->ctrl_id 0-u32max
HOST_DATA 0 port->custom_divisor 0-u32max
HOST_DATA 0 port->fifosize 0-u32max
HOST_DATA 0 port->flags 0-u64max
HOST_DATA 0 port->frame_time 0-u32max
HOST_DATA 0 port->has_sysrq 0-255
HOST_DATA 0 port->hub6 0-255
HOST_DATA 0 port->icount.brk 0-u32max
HOST_DATA 0 port->icount.buf_overrun 0-u32max
HOST_DATA 0 port->icount.cts 0-u32max
HOST_DATA 0 port->icount.dcd 0-u32max
HOST_DATA 0 port->icount.dsr 0-u32max
HOST_DATA 0 port->icount.frame 0-u32max
HOST_DATA 0 port->icount.overrun 0-u32max
HOST_DATA 0 port->icount.parity 0-u32max
HOST_DATA 0 port->icount.rng 0-u32max
HOST_DATA 0 port->icount.rx 0-u32max
HOST_DATA 0 port->icount.tx 0-u32max
HOST_DATA 0 port->ignore_status_mask 0-u32max
HOST_DATA 0 port->iobase 0-u64max
HOST_DATA 0 port->iotype s32min-s32max
HOST_DATA 0 port->irq 0-u32max
HOST_DATA 0 port->irqflags 0-u64max
HOST_DATA 0 port->iso7816.clk 0-u32max
HOST_DATA 0 port->iso7816.flags 0-u32max
HOST_DATA 0 port->iso7816.sc_di 0-u32max
HOST_DATA 0 port->iso7816.sc_fi 0-u32max
HOST_DATA 0 port->iso7816.tg 0-u32max
HOST_DATA 0 port->line 0-u32max
HOST_DATA 0 port->mapbase 0-u64max
HOST_DATA 0 port->mapsize 0-u64max
HOST_DATA 0 port->mctrl 0-u32max
HOST_DATA 0 port->minor 0-u32max
HOST_DATA 0 port->port_id 0-u32max
HOST_DATA 0 port->quirks 0-255
HOST_DATA 0 port->read_status_mask 0-u32max
HOST_DATA 0 port->regshift 0-255
HOST_DATA 0 port->rs485.addr_dest 0-255
HOST_DATA 0 port->rs485.addr_recv 0-255
HOST_DATA 0 port->rs485.delay_rts_after_send 0-u32max
HOST_DATA 0 port->rs485.delay_rts_before_send 0-u32max
HOST_DATA 0 port->rs485.flags 0-u32max
HOST_DATA 0 port->rs485_supported.addr_dest 0-255
HOST_DATA 0 port->rs485_supported.addr_recv 0-255
HOST_DATA 0 port->rs485_supported.delay_rts_after_send 0-u32max
HOST_DATA 0 port->rs485_supported.delay_rts_before_send 0-u32max
HOST_DATA 0 port->rs485_supported.flags 0-u32max
HOST_DATA 0 port->status 0-u32max
HOST_DATA 0 port->suspended 0-255
HOST_DATA 0 port->sysrq 0-u64max
HOST_DATA 0 port->sysrq_ch 0-255
HOST_DATA 0 port->sysrq_seq 0-255
HOST_DATA 0 port->type 0-u32max
HOST_DATA 0 port->uartclk 0-u32max
HOST_DATA 0 port->x_char 0-255
HOST_DATA 2 v 0-255[c]
LOCK2 &s->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 0 &port->lock
TYPE_LOCK (struct sccnxp_port)->lock

drivers/tty/serial/sccnxp.c sccnxp_port_write() -> sccnxp_write()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->dev 4096-ptr_max
PARAM_VALUE 0 port->dev->cma_area->available_count 0-s64max
PARAM_VALUE 0 port->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 port->dev->dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 port->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 port->ops->break_ctl 0,4096-ptr_max
PARAM_VALUE 0 port->ops->poll_get_char 0,4096-ptr_max
PARAM_VALUE 0 port->ops->poll_init 0,4096-ptr_max
PARAM_VALUE 0 port->ops->poll_put_char 0,4096-ptr_max
PARAM_VALUE 0 port->ops->start_rx 0,4096-ptr_max
PARAM_VALUE 0 port->ops->stop_tx 0,4096-ptr_max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port->uartclk (-1),9
DATA_SOURCE 0 port $0
DATA_SOURCE 2 v $2
STR_LEN 0 port (-1),1,7
STR_LEN 0 port (-1),1,7
STR_LEN 0 port->cons (-1)
NOSPEC 0 port->cons->index
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 port->cons->cflag s32min-0,16-s32max
HOST_DATA 0 port->cons->dropped 0
HOST_DATA 0 port->cons->irq_work.node.a_flags.counter 0
HOST_DATA 0 port->cons->irq_work.node.dst 0
HOST_DATA 0 port->cons->irq_work.node.src 0
HOST_DATA 0 port->cons->irq_work.node.u_flags 0
HOST_DATA 0 port->cons->ispeed 0-u32max
HOST_DATA 0 port->cons->nbcon_device_ctxt.allow_unsafe_takeover 0
HOST_DATA 0 port->cons->nbcon_device_ctxt.backlog 0
HOST_DATA 0 port->cons->nbcon_device_ctxt.prio 0
HOST_DATA 0 port->cons->nbcon_device_ctxt.seq 0
HOST_DATA 0 port->cons->nbcon_device_ctxt.spinwait_max_us 0
HOST_DATA 0 port->cons->nbcon_prev_seq.counter (-1)-0
HOST_DATA 0 port->cons->nbcon_seq.counter s64min-s64max
HOST_DATA 0 port->cons->nbcon_state.counter 0
HOST_DATA 0 port->cons->ospeed 0-u32max
HOST_DATA 0 port->cons->seq 0-u64max
HOST_DATA 0 port->frame_time 1-8,23-u32max[c]
USER_DATA 0 port->cons->index 0-3[c]
USER_DATA 0 port->frame_time 1-u32max[c]
HALF_LOCKED2 &s->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 0 &port->lock

drivers/tty/serial/sccnxp.c sccnxp_probe() -> sccnxp_write()

Type Parameter Key Value
PARAM_VALUE 1 reg 5
PARAM_VALUE 2 v 0
BUF_SIZE 0 port 1232
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/tty/serial/sccnxp.c sccnxp_set_bit() -> sccnxp_write()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->dev 4096-ptr_max
PARAM_VALUE 0 port->dev->cma_area->available_count 0-s64max
PARAM_VALUE 0 port->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 port->dev->dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 port->dev->driver_data 4096-ptr_max
PARAM_VALUE 0 port->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 port->ops->send_xchar 0,625199656327569408,6317227003971317760
PARAM_VALUE 0 port->ops->start_rx 0,4096-ptr_max
PARAM_VALUE 0 port->ops->type 0,4096-ptr_max
PARAM_VALUE 1 reg 14
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port->dev (-1),1616
BUF_SIZE 0 port->name (-1)-s32max
BUF_SIZE 0 port->ops (-1),216
BUF_SIZE 0 port->private_data (-1),1-s32max
DATA_SOURCE 0 port $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 port->cons_flow 0-1
HOST_DATA 0 port->console_reinit 0-255
HOST_DATA 0 port->ctrl_id 0-u32max
HOST_DATA 0 port->custom_divisor 0-u32max
HOST_DATA 0 port->fifosize 0-u32max
HOST_DATA 0 port->flags 0-u64max
HOST_DATA 0 port->frame_time 0-u32max
HOST_DATA 0 port->has_sysrq 0-255
HOST_DATA 0 port->hub6 0-255
HOST_DATA 0 port->icount.brk 0-u32max
HOST_DATA 0 port->icount.buf_overrun 0-u32max
HOST_DATA 0 port->icount.cts 0-u32max
HOST_DATA 0 port->icount.dcd 0-u32max
HOST_DATA 0 port->icount.dsr 0-u32max
HOST_DATA 0 port->icount.frame 0-u32max
HOST_DATA 0 port->icount.overrun 0-u32max
HOST_DATA 0 port->icount.parity 0-u32max
HOST_DATA 0 port->icount.rng 0-u32max
HOST_DATA 0 port->icount.rx 0-u32max
HOST_DATA 0 port->icount.tx 0-u32max
HOST_DATA 0 port->ignore_status_mask 0-u32max
HOST_DATA 0 port->iobase 0-u64max
HOST_DATA 0 port->iotype s32min-s32max
HOST_DATA 0 port->irq 0-u32max
HOST_DATA 0 port->irqflags 0-u64max
HOST_DATA 0 port->iso7816.clk 0-u32max
HOST_DATA 0 port->iso7816.flags 0-u32max
HOST_DATA 0 port->iso7816.sc_di 0-u32max
HOST_DATA 0 port->iso7816.sc_fi 0-u32max
HOST_DATA 0 port->iso7816.tg 0-u32max
HOST_DATA 0 port->line 0-u32max
HOST_DATA 0 port->mapbase 0-u64max
HOST_DATA 0 port->mapsize 0-u64max
HOST_DATA 0 port->mctrl 0-u32max
HOST_DATA 0 port->minor 0-u32max
HOST_DATA 0 port->port_id 0-u32max
HOST_DATA 0 port->quirks 0-255
HOST_DATA 0 port->read_status_mask 0-u32max
HOST_DATA 0 port->regshift 0-255
HOST_DATA 0 port->rs485.addr_dest 0-255
HOST_DATA 0 port->rs485.addr_recv 0-255
HOST_DATA 0 port->rs485.delay_rts_after_send 0-u32max
HOST_DATA 0 port->rs485.delay_rts_before_send 0-u32max
HOST_DATA 0 port->rs485.flags 0-u32max
HOST_DATA 0 port->rs485_supported.addr_dest 0-255
HOST_DATA 0 port->rs485_supported.addr_recv 0-255
HOST_DATA 0 port->rs485_supported.delay_rts_after_send 0-u32max
HOST_DATA 0 port->rs485_supported.delay_rts_before_send 0-u32max
HOST_DATA 0 port->rs485_supported.flags 0-u32max
HOST_DATA 0 port->status 0-u32max
HOST_DATA 0 port->suspended 0-255
HOST_DATA 0 port->sysrq 0-u64max
HOST_DATA 0 port->sysrq_ch 0-255
HOST_DATA 0 port->sysrq_seq 0-255
HOST_DATA 0 port->type 0-u32max
HOST_DATA 0 port->uartclk 0-u32max
HOST_DATA 0 port->x_char 0-255
USER_DATA 0 port->mctrl 0-u32max[c]
USER_DATA 0 port->rs485.addr_dest 0-255
USER_DATA 0 port->rs485.addr_recv 0-255
USER_DATA 0 port->rs485.delay_rts_after_send 0-u32max
USER_DATA 0 port->rs485.delay_rts_before_send 0-u32max
USER_DATA 0 port->rs485.flags 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 port->iobase
LOCK2 &s->lock
HALF_LOCKED2 &_T->lock->lock
HALF_LOCKED2 _T->flags
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
HALF_LOCKED2 0 &port->lock
TYPE_LOCK (struct sccnxp_port)->lock

drivers/tty/serial/sccnxp.c sccnxp_set_bit() -> sccnxp_write()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->dev 4096-ptr_max
PARAM_VALUE 0 port->dev->cma_area->available_count 0-s64max
PARAM_VALUE 0 port->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 port->dev->dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 port->dev->driver_data 4096-ptr_max
PARAM_VALUE 0 port->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 port->ops->send_xchar 0,625199656327569408,6317227003971317760
PARAM_VALUE 0 port->ops->start_rx 0,4096-ptr_max
PARAM_VALUE 0 port->ops->type 0,4096-ptr_max
PARAM_VALUE 1 reg 15
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port->dev (-1),1616
BUF_SIZE 0 port->name (-1)-s32max
BUF_SIZE 0 port->ops (-1),216
BUF_SIZE 0 port->private_data (-1),1-s32max
DATA_SOURCE 0 port $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 port->mctrl 0-u32max[c]
USER_DATA 0 port->rs485.addr_dest 0-255
USER_DATA 0 port->rs485.addr_recv 0-255
USER_DATA 0 port->rs485.delay_rts_after_send 0-u32max
USER_DATA 0 port->rs485.delay_rts_before_send 0-u32max
USER_DATA 0 port->rs485.flags 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 port->iobase
HALF_LOCKED2 &s->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 0 &port->lock

drivers/tty/serial/sccnxp.c sccnxp_startup() -> sccnxp_write()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->dev 4096-ptr_max
PARAM_VALUE 0 port->dev->cma_area->available_count 0-s64max
PARAM_VALUE 0 port->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 port->dev->dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 port->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 port->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 port->ops->start_rx 0,4096-ptr_max
PARAM_VALUE 1 reg 13
PARAM_VALUE 2 v 0
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
DATA_SOURCE 0 port $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &s->lock
LOCK2 _T->lock
LOCK2 flags
HALF_LOCKED2 0 &port->lock
TYPE_LOCK (struct sccnxp_port)->lock