Defined in 2 files as a function:
- arch/x86/kernel/early_printk.c, line 105 (as a function)
- drivers/tty/serial/8250/8250_port.c, line 412 (as a function)
Referenced in 2 files:
Smatch caller information:
drivers/tty/serial/8250/8250_pericom.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| NOCHECK_CALL |
drivers/tty/serial/8250/8250_pericom.c serial_port_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4210520377330208768 |
| PARAM_VALUE | 0 | addr->dev->cma_area->available_count | 0-s64max |
| PARAM_VALUE | 0 | addr->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | addr->dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | addr->dev->iommu_group->default_domain | 0-s64max |
| PARAM_VALUE | 0 | addr->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | addr->icount | 0-s32max |
| PARAM_VALUE | 0 | addr->iso7816 | 0-4294967295 |
| PARAM_VALUE | 0 | addr->lock | s32min-s32max |
| PARAM_VALUE | 0 | addr->ops->poll_get_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->poll_init | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->poll_put_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->send_xchar | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->set_ldisc | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->start_rx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->throttle | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->unthrottle | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->rs485 | 0-4294967295 |
| PARAM_VALUE | 0 | addr->rs485_supported | 0-4294967295 |
| PARAM_VALUE | 0 | addr->serial_in | 4096-ptr_max |
| PARAM_VALUE | 0 | addr->serial_out | 0,4096-ptr_max |
| PARAM_VALUE | 1 | offset | 2-3 |
| BUF_SIZE | 0 | addr | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | addr | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | addr->uartclk | (-1),9 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| STR_LEN | 0 | addr | (-1),7 |
| STR_LEN | 0 | addr | (-1),7 |
| STR_LEN | 0 | addr->cons | (-1) |
| CONTAINER | 0 | -96+0 | $(-1) |
| NOSPEC | 0 | addr->cons->index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | addr->cons->cflag | s32min-s32max |
| HOST_DATA | 0 | addr->cons->dropped | 0 |
| HOST_DATA | 0 | addr->cons->irq_work.node.a_flags.counter | 0 |
| HOST_DATA | 0 | addr->cons->irq_work.node.dst | 0 |
| HOST_DATA | 0 | addr->cons->irq_work.node.src | 0 |
| HOST_DATA | 0 | addr->cons->irq_work.node.u_flags | 0 |
| HOST_DATA | 0 | addr->cons->ispeed | 0-u32max |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.allow_unsafe_takeover | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.backlog | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.prio | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.seq | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.spinwait_max_us | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_prev_seq.counter | (-1)-0 |
| HOST_DATA | 0 | addr->cons->nbcon_seq.counter | s64min-s64max |
| HOST_DATA | 0 | addr->cons->nbcon_state.counter | 0 |
| HOST_DATA | 0 | addr->cons->ospeed | 0-u32max |
| HOST_DATA | 0 | addr->cons->seq | 0-u64max |
| HOST_DATA | 0 | addr->frame_time | 1-8,23-u32max[c] |
| HOST_DATA | 2 | value | 0-u32max |
| USER_DATA | 0 | addr->cons->index | 0-3[c] |
| USER_DATA | 0 | addr->frame_time | 1-u32max[c] |
| HALF_LOCKED2 | &_T->lock->lock | ||
| HALF_LOCKED2 | _T->flags |
drivers/tty/serial/8250/8250_fintek.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| NOCHECK_CALL |
drivers/tty/serial/8250/8250_ingenic.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| NOCHECK_CALL |
drivers/tty/serial/8250/8250_dma.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 1,5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &up->port.lock | ||
| HALF_LOCKED2 | flags |
drivers/tty/serial/serial_core.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| NOCHECK_CALL |
drivers/tty/serial/serial_core.c serial_port_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 0 | addr->x_char | 1-255 |
| PARAM_VALUE | 1 | offset | 0 |
| PARAM_VALUE | 2 | value | 1-255 |
| BUF_SIZE | 0 | addr | 616 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | addr->cons_flow | 0-1 |
| HOST_DATA | 0 | addr->console_reinit | 0-255 |
| HOST_DATA | 0 | addr->ctrl_id | 0-u32max |
| HOST_DATA | 0 | addr->custom_divisor | 0-u32max |
| HOST_DATA | 0 | addr->fifosize | 0-u32max |
| HOST_DATA | 0 | addr->flags | 0-u64max |
| HOST_DATA | 0 | addr->frame_time | 0-u32max |
| HOST_DATA | 0 | addr->has_sysrq | 0-255 |
| HOST_DATA | 0 | addr->hub6 | 0-255 |
| HOST_DATA | 0 | addr->hw_stopped | 0-1 |
| HOST_DATA | 0 | addr->icount.brk | 0-u32max |
| HOST_DATA | 0 | addr->icount.buf_overrun | 0-u32max |
| HOST_DATA | 0 | addr->icount.cts | 0-u32max |
| HOST_DATA | 0 | addr->icount.dcd | 0-u32max |
| HOST_DATA | 0 | addr->icount.dsr | 0-u32max |
| HOST_DATA | 0 | addr->icount.frame | 0-u32max |
| HOST_DATA | 0 | addr->icount.overrun | 0-u32max |
| HOST_DATA | 0 | addr->icount.parity | 0-u32max |
| HOST_DATA | 0 | addr->icount.rng | 0-u32max |
| HOST_DATA | 0 | addr->icount.rx | 0-u32max |
| HOST_DATA | 0 | addr->icount.tx | 0-u32max |
| HOST_DATA | 0 | addr->ignore_status_mask | 0-u32max |
| HOST_DATA | 0 | addr->iobase | 0-u64max |
| HOST_DATA | 0 | addr->iotype | s32min-s32max |
| HOST_DATA | 0 | addr->irq | 0-u32max |
| HOST_DATA | 0 | addr->irqflags | 0-u64max |
| HOST_DATA | 0 | addr->iso7816.clk | 0-u32max |
| HOST_DATA | 0 | addr->iso7816.flags | 0-u32max |
| HOST_DATA | 0 | addr->iso7816.sc_di | 0-u32max |
| HOST_DATA | 0 | addr->iso7816.sc_fi | 0-u32max |
| HOST_DATA | 0 | addr->iso7816.tg | 0-u32max |
| HOST_DATA | 0 | addr->line | 0-u32max |
| HOST_DATA | 0 | addr->mapbase | 0-u64max |
| HOST_DATA | 0 | addr->mapsize | 0-u64max |
| HOST_DATA | 0 | addr->mctrl | 0-u32max |
| HOST_DATA | 0 | addr->minor | 0-u32max |
| HOST_DATA | 0 | addr->port_id | 0-u32max |
| HOST_DATA | 0 | addr->quirks | 0-255 |
| HOST_DATA | 0 | addr->read_status_mask | 0-u32max |
| HOST_DATA | 0 | addr->regshift | 0-255 |
| HOST_DATA | 0 | addr->rs485.addr_dest | 0-255 |
| HOST_DATA | 0 | addr->rs485.addr_recv | 0-255 |
| HOST_DATA | 0 | addr->rs485.delay_rts_after_send | 0-u32max |
| HOST_DATA | 0 | addr->rs485.delay_rts_before_send | 0-u32max |
| HOST_DATA | 0 | addr->rs485.flags | 0-u32max |
| HOST_DATA | 0 | addr->rs485_supported.addr_dest | 0-255 |
| HOST_DATA | 0 | addr->rs485_supported.addr_recv | 0-255 |
| HOST_DATA | 0 | addr->rs485_supported.delay_rts_after_send | 0-u32max |
| HOST_DATA | 0 | addr->rs485_supported.delay_rts_before_send | 0-u32max |
| HOST_DATA | 0 | addr->rs485_supported.flags | 0-u32max |
| HOST_DATA | 0 | addr->status | 0-u32max |
| HOST_DATA | 0 | addr->suspended | 0-255 |
| HOST_DATA | 0 | addr->sysrq | 0-u64max |
| HOST_DATA | 0 | addr->sysrq_ch | 0-255 |
| HOST_DATA | 0 | addr->sysrq_seq | 0-255 |
| HOST_DATA | 0 | addr->type | 0-u32max |
| HOST_DATA | 0 | addr->uartclk | 0-u32max |
| HOST_DATA | 0 | addr->x_char | 1-255 |
| HOST_DATA | 2 | value | 1-255 |
drivers/tty/serial/8250/8250_dwlib.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| NOCHECK_CALL |
drivers/tty/serial/8250/serial_cs.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| NOCHECK_CALL |
drivers/tty/serial/8250/8250_bcm7271.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| NOCHECK_CALL |
drivers/tty/serial/8250/8250_bcm7271.c serial_port_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 0 | addr->cons | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | addr->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | addr->ops->start_rx | 0,4096-ptr_max |
| PARAM_VALUE | 1 | offset | 1,4 |
| BUF_SIZE | 0 | addr | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | addr | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | value | 0-u32max |
| LOCK2 | 0 | &addr->lock | |
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq | ||
| TYPE_LOCK | (struct uart_port)->lock |
drivers/tty/serial/8250/8250_pci.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | value | 0-255[c] |
| USER_DATA | 2 | value | 0-255[c] |
drivers/tty/serial/8250/8250_rsa.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 5,7,4294967288,4294967290 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | value | 0-259 |
| HALF_LOCKED2 | &_T->lock->lock | ||
| HALF_LOCKED2 | &port->lock | ||
| HALF_LOCKED2 | &up->port.lock | ||
| HALF_LOCKED2 | _T->flags | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq |
drivers/tty/serial/8250/8250_keba.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 2-3,5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | value | 0-255 |
| HALF_LOCKED2 | &_T->lock->lock | ||
| HALF_LOCKED2 | _T->flags | ||
| HALF_LOCKED2 | _T->lock |
drivers/tty/serial/8250/8250_omap.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 0-8,16,23,27,32,35,38-39 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | addr->cons_flow | 0-1 |
| HOST_DATA | 0 | addr->console_reinit | 0-255 |
| HOST_DATA | 0 | addr->ctrl_id | 0-u32max |
| HOST_DATA | 0 | addr->custom_divisor | 0-u32max |
| HOST_DATA | 0 | addr->fifosize | 0-u32max |
| HOST_DATA | 0 | addr->flags | 0-u64max |
| HOST_DATA | 0 | addr->frame_time | 0-u32max |
| HOST_DATA | 0 | addr->has_sysrq | 0-255 |
| HOST_DATA | 0 | addr->hub6 | 0-255 |
| HOST_DATA | 0 | addr->hw_stopped | 0 |
| HOST_DATA | 0 | addr->icount.brk | 0-u32max |
| HOST_DATA | 0 | addr->icount.buf_overrun | 0-u32max |
| HOST_DATA | 0 | addr->icount.cts | 0-u32max |
| HOST_DATA | 0 | addr->icount.dcd | 0-u32max |
| HOST_DATA | 0 | addr->icount.dsr | 0-u32max |
| HOST_DATA | 0 | addr->icount.frame | 0-u32max |
| HOST_DATA | 0 | addr->icount.overrun | 0-u32max |
| HOST_DATA | 0 | addr->icount.parity | 0-u32max |
| HOST_DATA | 0 | addr->icount.rng | 0-u32max |
| HOST_DATA | 0 | addr->icount.rx | 0-u32max |
| HOST_DATA | 0 | addr->icount.tx | 0-u32max |
| HOST_DATA | 0 | addr->ignore_status_mask | 0-u32max |
| HOST_DATA | 0 | addr->iobase | 0-u64max |
| HOST_DATA | 0 | addr->iotype | s32min-s32max |
| HOST_DATA | 0 | addr->irq | 0-u32max |
| HOST_DATA | 0 | addr->irqflags | 0-u64max |
| HOST_DATA | 0 | addr->iso7816.clk | 0-u32max |
| HOST_DATA | 0 | addr->iso7816.flags | 0-u32max |
| HOST_DATA | 0 | addr->iso7816.sc_di | 0-u32max |
| HOST_DATA | 0 | addr->iso7816.sc_fi | 0-u32max |
| HOST_DATA | 0 | addr->iso7816.tg | 0-u32max |
| HOST_DATA | 0 | addr->line | 0-u32max |
| HOST_DATA | 0 | addr->mapbase | 0-u64max |
| HOST_DATA | 0 | addr->mapsize | 0-u64max |
| HOST_DATA | 0 | addr->mctrl | 0-u32max |
| HOST_DATA | 0 | addr->minor | 0-u32max |
| HOST_DATA | 0 | addr->port_id | 0-u32max |
| HOST_DATA | 0 | addr->quirks | 0-255 |
| HOST_DATA | 0 | addr->read_status_mask | 0-u32max |
| HOST_DATA | 0 | addr->regshift | 0-255 |
| HOST_DATA | 0 | addr->rs485.addr_dest | 0-255 |
| HOST_DATA | 0 | addr->rs485.addr_recv | 0-255 |
| HOST_DATA | 0 | addr->rs485.delay_rts_after_send | 0-u32max |
| HOST_DATA | 0 | addr->rs485.delay_rts_before_send | 0-u32max |
| HOST_DATA | 0 | addr->rs485.flags | 0-u32max |
| HOST_DATA | 0 | addr->rs485_supported.addr_dest | 0-255 |
| HOST_DATA | 0 | addr->rs485_supported.addr_recv | 0-255 |
| HOST_DATA | 0 | addr->rs485_supported.delay_rts_after_send | 0-u32max |
| HOST_DATA | 0 | addr->rs485_supported.delay_rts_before_send | 0-u32max |
| HOST_DATA | 0 | addr->rs485_supported.flags | 0-u32max |
| HOST_DATA | 0 | addr->status | 0-u32max |
| HOST_DATA | 0 | addr->suspended | 0-255 |
| HOST_DATA | 0 | addr->sysrq | 0-u64max |
| HOST_DATA | 0 | addr->sysrq_ch | 0-255 |
| HOST_DATA | 0 | addr->sysrq_seq | 0-255 |
| HOST_DATA | 0 | addr->type | 0-u32max |
| HOST_DATA | 0 | addr->uartclk | 0-u32max |
| HOST_DATA | 0 | addr->x_char | 0-255 |
| HOST_DATA | 2 | value | 0-u32max |
| HALF_LOCKED2 | &_T->lock->lock | ||
| HALF_LOCKED2 | &port->lock | ||
| HALF_LOCKED2 | &priv->rx_dma_lock | ||
| HALF_LOCKED2 | _T->flags | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq |
drivers/tty/serial/8250/8250_exar.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| NOCHECK_CALL |
drivers/tty/serial/8250/8250_exar.c serial_port_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 6529596623791599616 |
| PARAM_VALUE | 0 | addr->cons | 0-ptr_max |
| PARAM_VALUE | 0 | addr->dev->cma_area->available_count | 0-s64max |
| PARAM_VALUE | 0 | addr->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | addr->dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | addr->dev->iommu_group->default_domain | 0-s64max |
| PARAM_VALUE | 0 | addr->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | addr->icount | 0-s32max |
| PARAM_VALUE | 0 | addr->iso7816 | 0-4294967295 |
| PARAM_VALUE | 0 | addr->lock | s32min-s32max |
| PARAM_VALUE | 0 | addr->ops->pm | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->poll_get_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->poll_init | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->poll_put_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->send_xchar | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->set_ldisc | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->start_rx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->throttle | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->unthrottle | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->rs485 | 0-4294967295 |
| PARAM_VALUE | 0 | addr->rs485_supported | 0-4294967295 |
| PARAM_VALUE | 1 | offset | 1-2,9,139 |
| BUF_SIZE | 0 | addr | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | addr | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | addr->uartclk | (-1),9 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| STR_LEN | 0 | addr | (-1),7 |
| STR_LEN | 0 | addr | (-1),7 |
| STR_LEN | 0 | addr->cons | (-1) |
| CONTAINER | 0 | -96+0 | $(-1) |
| NOSPEC | 0 | addr->cons->index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | addr->cons->cflag | s32min-s32max |
| HOST_DATA | 0 | addr->cons->dropped | 0 |
| HOST_DATA | 0 | addr->cons->irq_work.node.a_flags.counter | 0 |
| HOST_DATA | 0 | addr->cons->irq_work.node.dst | 0 |
| HOST_DATA | 0 | addr->cons->irq_work.node.src | 0 |
| HOST_DATA | 0 | addr->cons->irq_work.node.u_flags | 0 |
| HOST_DATA | 0 | addr->cons->ispeed | 0-u32max |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.allow_unsafe_takeover | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.backlog | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.prio | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.seq | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.spinwait_max_us | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_prev_seq.counter | (-1)-0 |
| HOST_DATA | 0 | addr->cons->nbcon_seq.counter | s64min-s64max |
| HOST_DATA | 0 | addr->cons->nbcon_state.counter | 0 |
| HOST_DATA | 0 | addr->cons->ospeed | 0-u32max |
| HOST_DATA | 0 | addr->cons->seq | 0-u64max |
| HOST_DATA | 0 | addr->frame_time | 1-8,23-u32max[c] |
| HOST_DATA | 2 | value | 0-s32max[c] |
| USER_DATA | 0 | addr->cons->index | 0-3[c] |
| USER_DATA | 0 | addr->frame_time | 1-u32max[c] |
| USER_DATA | 2 | value | 0-s32max[c] |
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | 0 | &addr->lock |
drivers/tty/serial/8250/8250_fsl.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| NOCHECK_CALL |
drivers/tty/serial/8250/8250_platform.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| NOCHECK_CALL |
drivers/tty/serial/8250/8250_rt288x.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| NOCHECK_CALL |
drivers/tty/serial/8250/8250_tegra.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| NOCHECK_CALL |
drivers/tty/serial/8250/8250_pnp.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| NOCHECK_CALL |
drivers/tty/serial/8250/8250_mxpcie.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | value | 0-256 |
| HALF_LOCKED2 | &_T->lock->lock | ||
| HALF_LOCKED2 | _T->flags | ||
| HALF_LOCKED2 | _T->lock |
drivers/tty/serial/8250/8250_mxpcie.c serial_port_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 6253828957567959040 |
| PARAM_VALUE | 0 | addr->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | addr->icount | 0-s32max |
| PARAM_VALUE | 0 | addr->iso7816 | 0-4294967295 |
| PARAM_VALUE | 0 | addr->lock | s32min-s32max |
| PARAM_VALUE | 0 | addr->rs485 | 0-4294967295 |
| PARAM_VALUE | 0 | addr->rs485_supported | 0-4294967295 |
| PARAM_VALUE | 1 | offset | 17 |
| CAPPED_DATA | 2 | value | 1 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &of->mutex | ||
| HALF_LOCKED2 | &of->prealloc_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct kernfs_open_file)->mutex |
drivers/tty/serial/8250/8250_em.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 5,7,9-10 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | value | 0-255 |
| USER_DATA | 2 | value | 1-255[c] |
drivers/tty/serial/8250/8250_lpc18xx.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 5,7,19,21 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_T->lock->lock | ||
| HALF_LOCKED2 | _T->flags | ||
| HALF_LOCKED2 | _T->lock |
drivers/tty/serial/8250/8250_pcilib.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| NOCHECK_CALL |
drivers/tty/serial/8250/8250_ni.c ni16550_enable_transceivers() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 0 | addr->cons | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->delays->blkio_count | 0-4294967295 |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->delays->blkio_delay_max | 0-s64max |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->delays->blkio_delay_min | 0-s64max |
| PARAM_VALUE | 0 | addr->dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | addr->dev->iommu_group->default_domain | 0-s64max |
| PARAM_VALUE | 0 | addr->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | addr->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | addr->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | addr->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | addr->mctrl | 0,8192-u32max |
| PARAM_VALUE | 0 | addr->ops->start_rx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->private_data->efr | 0-255 |
| PARAM_VALUE | 0 | addr->serial_in | 3530293103401308160,3785162255821021184,4186890544275374080,4786930327083859968,4973700319573716992,5879916080808624128,7091248884312166400 |
| PARAM_VALUE | 0 | addr->serial_out | 4096-ptr_max |
| PARAM_VALUE | 0 | addr->startup | 1-u64max |
| PARAM_VALUE | 1 | offset | 15 |
| BUF_SIZE | 0 | addr | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | addr | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | addr->cons | 1 |
| DATA_SOURCE | 0 | addr | $0 |
| CONTAINER | 0 | -96+0 | $(-1) |
| BIT_INFO | 2 | value | 0x8,0xff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | value | 0-255 |
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | 0 | &addr->lock |
drivers/tty/serial/8250/8250_ni.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 2-3,5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | value | 0-255 |
drivers/tty/serial/8250/8250_ni.c serial_port_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 0 | addr->dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | addr->ops->start_rx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->type | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->serial_in | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 15 |
| BUF_SIZE | 0 | addr | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | addr | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | addr->dev | (-1),1616 |
| BUF_SIZE | 0 | addr->name | (-1)-s32max |
| BUF_SIZE | 0 | addr->ops | (-1),216 |
| BUF_SIZE | 0 | addr->private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | value | 0-255[c] |
| NO_OVERFLOW_SIMPLE | 0 | addr->iobase | |
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | &_T->lock->lock | ||
| HALF_LOCKED2 | _T->flags | ||
| HALF_LOCKED2 | 0 | &addr->lock |
drivers/tty/serial/8250/8250_mid.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| NOCHECK_CALL |
drivers/tty/serial/8250/8250_port.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 0-5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | addr->cons_flow | 0-1 |
| HOST_DATA | 0 | addr->console_reinit | 0-255 |
| HOST_DATA | 0 | addr->ctrl_id | 0-u32max |
| HOST_DATA | 0 | addr->custom_divisor | 0-u32max |
| HOST_DATA | 0 | addr->fifosize | 0-u32max |
| HOST_DATA | 0 | addr->flags | 0-u64max |
| HOST_DATA | 0 | addr->frame_time | 0-u32max |
| HOST_DATA | 0 | addr->has_sysrq | 0-255 |
| HOST_DATA | 0 | addr->hub6 | 0-255 |
| HOST_DATA | 0 | addr->hw_stopped | 0-1 |
| HOST_DATA | 0 | addr->icount.brk | 0-u32max |
| HOST_DATA | 0 | addr->icount.buf_overrun | 0-u32max |
| HOST_DATA | 0 | addr->icount.cts | 0-u32max |
| HOST_DATA | 0 | addr->icount.dcd | 0-u32max |
| HOST_DATA | 0 | addr->icount.dsr | 0-u32max |
| HOST_DATA | 0 | addr->icount.frame | 0-u32max |
| HOST_DATA | 0 | addr->icount.overrun | 0-u32max |
| HOST_DATA | 0 | addr->icount.parity | 0-u32max |
| HOST_DATA | 0 | addr->icount.rng | 0-u32max |
| HOST_DATA | 0 | addr->icount.rx | 0-u32max |
| HOST_DATA | 0 | addr->icount.tx | 0-u32max |
| HOST_DATA | 0 | addr->ignore_status_mask | 0-u32max |
| HOST_DATA | 0 | addr->iobase | 0-u64max |
| HOST_DATA | 0 | addr->iotype | s32min-s32max |
| HOST_DATA | 0 | addr->irq | 0-u32max |
| HOST_DATA | 0 | addr->irqflags | 0-u64max |
| HOST_DATA | 0 | addr->iso7816.clk | 0-u32max |
| HOST_DATA | 0 | addr->iso7816.flags | 0-u32max |
| HOST_DATA | 0 | addr->iso7816.sc_di | 0-u32max |
| HOST_DATA | 0 | addr->iso7816.sc_fi | 0-u32max |
| HOST_DATA | 0 | addr->iso7816.tg | 0-u32max |
| HOST_DATA | 0 | addr->line | 0-u32max |
| HOST_DATA | 0 | addr->mapbase | 0-u64max |
| HOST_DATA | 0 | addr->mapsize | 0-u64max |
| HOST_DATA | 0 | addr->mctrl | 0-u32max |
| HOST_DATA | 0 | addr->minor | 0-u32max |
| HOST_DATA | 0 | addr->port_id | 0-u32max |
| HOST_DATA | 0 | addr->quirks | 0-255 |
| HOST_DATA | 0 | addr->read_status_mask | 0-u32max |
| HOST_DATA | 0 | addr->regshift | 0-255 |
| HOST_DATA | 0 | addr->rs485.addr_dest | 0-255 |
| HOST_DATA | 0 | addr->rs485.addr_recv | 0-255 |
| HOST_DATA | 0 | addr->rs485.delay_rts_after_send | 0-u32max |
| HOST_DATA | 0 | addr->rs485.delay_rts_before_send | 0-u32max |
| HOST_DATA | 0 | addr->rs485.flags | 0-u32max |
| HOST_DATA | 0 | addr->rs485_supported.addr_dest | 0-255 |
| HOST_DATA | 0 | addr->rs485_supported.addr_recv | 0-255 |
| HOST_DATA | 0 | addr->rs485_supported.delay_rts_after_send | 0-u32max |
| HOST_DATA | 0 | addr->rs485_supported.delay_rts_before_send | 0-u32max |
| HOST_DATA | 0 | addr->rs485_supported.flags | 0-u32max |
| HOST_DATA | 0 | addr->status | 0-u32max |
| HOST_DATA | 0 | addr->suspended | 0-255 |
| HOST_DATA | 0 | addr->sysrq | 0-u64max |
| HOST_DATA | 0 | addr->sysrq_ch | 0-255 |
| HOST_DATA | 0 | addr->sysrq_seq | 0-255 |
| HOST_DATA | 0 | addr->type | 0-u32max |
| HOST_DATA | 0 | addr->uartclk | 0-u32max |
| HOST_DATA | 0 | addr->x_char | 0-255 |
| HOST_DATA | 2 | value | 0-u32max |
| USER_DATA | 2 | value | 1-255[c] |
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &port->lock | ||
| HALF_LOCKED2 | &port->mutex | ||
| HALF_LOCKED2 | &up->port.lock | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &probing_active | ||
| HALF_LOCKED2 | irq |
drivers/tty/serial/8250/8250_port.c serial_port_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 0 | addr->dev->cma_area->available_count | 0-s64max |
| PARAM_VALUE | 0 | addr->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | addr->dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | addr->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | addr->ops->break_ctl | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->enable_ms | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->poll_get_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->poll_init | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->poll_put_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->send_xchar | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->set_ldisc | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->start_rx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->stop_tx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->throttle | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->unthrottle | 0,4096-ptr_max |
| PARAM_VALUE | 1 | offset | 0-3,9,12,64-65 |
| BUF_SIZE | 0 | addr | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | addr | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | addr->uartclk | (-1),9 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| STR_LEN | 0 | addr | (-1),1,7 |
| STR_LEN | 0 | addr | (-1),1,7 |
| STR_LEN | 0 | addr->cons | (-1) |
| CONTAINER | 0 | -96+0 | $(-1) |
| NOSPEC | 0 | addr->cons->index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | addr->cons->cflag | s32min-s32max |
| HOST_DATA | 0 | addr->cons->dropped | 0 |
| HOST_DATA | 0 | addr->cons->irq_work.node.a_flags.counter | 0-s32max |
| HOST_DATA | 0 | addr->cons->irq_work.node.dst | 0-u16max |
| HOST_DATA | 0 | addr->cons->irq_work.node.src | 0-u16max |
| HOST_DATA | 0 | addr->cons->irq_work.node.u_flags | 0-s32max |
| HOST_DATA | 0 | addr->cons->ispeed | 0-u32max |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.allow_unsafe_takeover | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.backlog | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.prio | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.seq | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.spinwait_max_us | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_prev_seq.counter | (-1)-0 |
| HOST_DATA | 0 | addr->cons->nbcon_seq.counter | s64min-s64max |
| HOST_DATA | 0 | addr->cons->nbcon_state.counter | 0 |
| HOST_DATA | 0 | addr->cons->ospeed | 0-u32max |
| HOST_DATA | 0 | addr->cons->seq | 0-u64max |
| HOST_DATA | 0 | addr->cons_flow | 0-1 |
| HOST_DATA | 0 | addr->console_reinit | 0-255 |
| HOST_DATA | 0 | addr->ctrl_id | 0-u32max |
| HOST_DATA | 0 | addr->custom_divisor | 0-u32max |
| HOST_DATA | 0 | addr->fifosize | 0-u32max |
| HOST_DATA | 0 | addr->flags | 0-u64max |
| HOST_DATA | 0 | addr->frame_time | 0-u32max |
| HOST_DATA | 0 | addr->has_sysrq | 0-255 |
| HOST_DATA | 0 | addr->hub6 | 0-255 |
| HOST_DATA | 0 | addr->hw_stopped | 0-1 |
| HOST_DATA | 0 | addr->icount.brk | 0-u32max |
| HOST_DATA | 0 | addr->icount.buf_overrun | 0-u32max |
| HOST_DATA | 0 | addr->icount.cts | 0-u32max |
| HOST_DATA | 0 | addr->icount.dcd | 0-u32max |
| HOST_DATA | 0 | addr->icount.dsr | 0-u32max |
| HOST_DATA | 0 | addr->icount.frame | 0-u32max |
| HOST_DATA | 0 | addr->icount.overrun | 0-u32max |
| HOST_DATA | 0 | addr->icount.parity | 0-u32max |
| HOST_DATA | 0 | addr->icount.rng | 0-u32max |
| HOST_DATA | 0 | addr->icount.rx | 0-u32max |
| HOST_DATA | 0 | addr->icount.tx | 0-u32max |
| HOST_DATA | 0 | addr->ignore_status_mask | 0-u32max |
| HOST_DATA | 0 | addr->iobase | 0-u64max |
| HOST_DATA | 0 | addr->iotype | s32min-s32max |
| HOST_DATA | 0 | addr->irq | 0-u32max |
| HOST_DATA | 0 | addr->irqflags | 0-u64max |
| HOST_DATA | 0 | addr->iso7816.clk | 0-u32max |
| HOST_DATA | 0 | addr->iso7816.flags | 0-u32max |
| HOST_DATA | 0 | addr->iso7816.sc_di | 0-u32max |
| HOST_DATA | 0 | addr->iso7816.sc_fi | 0-u32max |
| HOST_DATA | 0 | addr->iso7816.tg | 0-u32max |
| HOST_DATA | 0 | addr->line | 0-u32max |
| HOST_DATA | 0 | addr->mapbase | 0-u64max |
| HOST_DATA | 0 | addr->mapsize | 0-u64max |
| HOST_DATA | 0 | addr->mctrl | 0-u32max |
| HOST_DATA | 0 | addr->minor | 0-u32max |
| HOST_DATA | 0 | addr->port_id | 0-u32max |
| HOST_DATA | 0 | addr->quirks | 0-255 |
| HOST_DATA | 0 | addr->read_status_mask | 0-u32max |
| HOST_DATA | 0 | addr->regshift | 0-255 |
| HOST_DATA | 0 | addr->rs485.addr_dest | 0-255 |
| HOST_DATA | 0 | addr->rs485.addr_recv | 0-255 |
| HOST_DATA | 0 | addr->rs485.delay_rts_after_send | 0-u32max |
| HOST_DATA | 0 | addr->rs485.delay_rts_before_send | 0-u32max |
| HOST_DATA | 0 | addr->rs485.flags | 0-u32max |
| HOST_DATA | 0 | addr->rs485_supported.addr_dest | 0-255 |
| HOST_DATA | 0 | addr->rs485_supported.addr_recv | 0-255 |
| HOST_DATA | 0 | addr->rs485_supported.delay_rts_after_send | 0-u32max |
| HOST_DATA | 0 | addr->rs485_supported.delay_rts_before_send | 0-u32max |
| HOST_DATA | 0 | addr->rs485_supported.flags | 0-u32max |
| HOST_DATA | 0 | addr->status | 0-u32max |
| HOST_DATA | 0 | addr->suspended | 0-255 |
| HOST_DATA | 0 | addr->sysrq | 0-u64max |
| HOST_DATA | 0 | addr->sysrq_ch | 0-255 |
| HOST_DATA | 0 | addr->sysrq_seq | 0-255 |
| HOST_DATA | 0 | addr->type | 0-u32max |
| HOST_DATA | 0 | addr->uartclk | 0-u32max |
| HOST_DATA | 0 | addr->x_char | 0-255 |
| HOST_DATA | 2 | value | 0-u32max |
| USER_DATA | 0 | addr->cons->index | 0-3[c] |
| USER_DATA | 0 | addr->frame_time | 1-u32max[c] |
| HALF_LOCKED2 | &_T->lock->lock | ||
| HALF_LOCKED2 | &tty->legacy_mutex | ||
| HALF_LOCKED2 | &tty->termios_rwsem | ||
| HALF_LOCKED2 | _T->flags | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &console_mutex | ||
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | 0 | &addr->lock |
drivers/tty/serial/8250/8250_port.c serial_port_out_sync() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 0 | addr->cons | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->delays->blkio_count | 0-4294967295 |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->delays->blkio_delay_max | 0-s64max |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->delays->blkio_delay_min | 0-s64max |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->ptracer_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->ptracer_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->ptracer_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->ptracer_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->ptracer_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->ptracer_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->ptracer_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->ptracer_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->sched_task_group->idle | s32min-s32max |
| PARAM_VALUE | 0 | addr->dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | addr->dev->iommu_group->default_domain | 0-s64max |
| PARAM_VALUE | 0 | addr->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | addr->iotype | 2-7 |
| PARAM_VALUE | 0 | addr->irq | 1-u32max |
| PARAM_VALUE | 0 | addr->ops->start_rx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->serial_in | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 1 |
| PARAM_VALUE | 2 | value | 2 |
| BUF_SIZE | 0 | addr | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | addr | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &_T->lock->lock | ||
| LOCK2 | _T->flags | ||
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | 0 | &addr->lock |
drivers/tty/serial/8250/8250_port.c serial_port_out_sync() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 0 | addr->cons | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->delays->blkio_count | 0-4294967295 |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->delays->blkio_delay_max | 0-s64max |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->delays->blkio_delay_min | 0-s64max |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->ptracer_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->ptracer_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->ptracer_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->ptracer_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->ptracer_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->ptracer_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->ptracer_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->ptracer_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->sched_task_group->idle | s32min-s32max |
| PARAM_VALUE | 0 | addr->dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | addr->dev->iommu_group->default_domain | 0-s64max |
| PARAM_VALUE | 0 | addr->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | addr->iotype | s32min-1,8-s32max |
| PARAM_VALUE | 0 | addr->irq | 1-u32max |
| PARAM_VALUE | 0 | addr->ops->start_rx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->serial_in | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 1 |
| PARAM_VALUE | 2 | value | 2 |
| BUF_SIZE | 0 | addr | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | addr | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &_T->lock->lock | ||
| LOCK2 | _T->flags | ||
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | 0 | &addr->lock |
drivers/tty/serial/8250/8250_bcm2835aux.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 4-5,7-8 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | addr->cons_flow | 0-1 |
| HOST_DATA | 0 | addr->console_reinit | 0-255 |
| HOST_DATA | 0 | addr->ctrl_id | 0-u32max |
| HOST_DATA | 0 | addr->custom_divisor | 0-u32max |
| HOST_DATA | 0 | addr->fifosize | 0-u32max |
| HOST_DATA | 0 | addr->flags | 0-u64max |
| HOST_DATA | 0 | addr->frame_time | 0-u32max |
| HOST_DATA | 0 | addr->has_sysrq | 0-255 |
| HOST_DATA | 0 | addr->hub6 | 0-255 |
| HOST_DATA | 0 | addr->hw_stopped | 0 |
| HOST_DATA | 0 | addr->icount.brk | 0-u32max |
| HOST_DATA | 0 | addr->icount.buf_overrun | 0-u32max |
| HOST_DATA | 0 | addr->icount.cts | 0-u32max |
| HOST_DATA | 0 | addr->icount.dcd | 0-u32max |
| HOST_DATA | 0 | addr->icount.dsr | 0-u32max |
| HOST_DATA | 0 | addr->icount.frame | 0-u32max |
| HOST_DATA | 0 | addr->icount.overrun | 0-u32max |
| HOST_DATA | 0 | addr->icount.parity | 0-u32max |
| HOST_DATA | 0 | addr->icount.rng | 0-u32max |
| HOST_DATA | 0 | addr->icount.rx | 0-u32max |
| HOST_DATA | 0 | addr->icount.tx | 0-u32max |
| HOST_DATA | 0 | addr->ignore_status_mask | 0-u32max |
| HOST_DATA | 0 | addr->iobase | 0-u64max |
| HOST_DATA | 0 | addr->iotype | s32min-s32max |
| HOST_DATA | 0 | addr->irq | 0-u32max |
| HOST_DATA | 0 | addr->irqflags | 0-u64max |
| HOST_DATA | 0 | addr->iso7816.clk | 0-u32max |
| HOST_DATA | 0 | addr->iso7816.flags | 0-u32max |
| HOST_DATA | 0 | addr->iso7816.sc_di | 0-u32max |
| HOST_DATA | 0 | addr->iso7816.sc_fi | 0-u32max |
| HOST_DATA | 0 | addr->iso7816.tg | 0-u32max |
| HOST_DATA | 0 | addr->line | 0-u32max |
| HOST_DATA | 0 | addr->mapbase | 0-u64max |
| HOST_DATA | 0 | addr->mapsize | 0-u64max |
| HOST_DATA | 0 | addr->mctrl | 0-u32max |
| HOST_DATA | 0 | addr->minor | 0-u32max |
| HOST_DATA | 0 | addr->port_id | 0-u32max |
| HOST_DATA | 0 | addr->quirks | 0-255 |
| HOST_DATA | 0 | addr->read_status_mask | 0-u32max |
| HOST_DATA | 0 | addr->regshift | 0-255 |
| HOST_DATA | 0 | addr->rs485.addr_dest | 0-255 |
| HOST_DATA | 0 | addr->rs485.addr_recv | 0-255 |
| HOST_DATA | 0 | addr->rs485.delay_rts_after_send | 0-u32max |
| HOST_DATA | 0 | addr->rs485.delay_rts_before_send | 0-u32max |
| HOST_DATA | 0 | addr->rs485.flags | 0-u32max |
| HOST_DATA | 0 | addr->rs485_supported.addr_dest | 0-255 |
| HOST_DATA | 0 | addr->rs485_supported.addr_recv | 0-255 |
| HOST_DATA | 0 | addr->rs485_supported.delay_rts_after_send | 0-u32max |
| HOST_DATA | 0 | addr->rs485_supported.delay_rts_before_send | 0-u32max |
| HOST_DATA | 0 | addr->rs485_supported.flags | 0-u32max |
| HOST_DATA | 0 | addr->status | 0-u32max |
| HOST_DATA | 0 | addr->suspended | 0-255 |
| HOST_DATA | 0 | addr->sysrq | 0-u64max |
| HOST_DATA | 0 | addr->sysrq_ch | 0-255 |
| HOST_DATA | 0 | addr->sysrq_seq | 0-255 |
| HOST_DATA | 0 | addr->type | 0-u32max |
| HOST_DATA | 0 | addr->uartclk | 0-u32max |
| HOST_DATA | 0 | addr->x_char | 0 |
drivers/tty/serial/8250/8250_lpss.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| NOCHECK_CALL |
drivers/tty/serial/8250/8250_pci1xxxx.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| NOCHECK_CALL |
drivers/tty/serial/8250/8250_pxa.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 0-1,5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | value | 0-255 |
| USER_DATA | 2 | value | 1-255[c] |
drivers/tty/serial/8250/8250_ioc3.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| NOCHECK_CALL |
drivers/tty/serial/8250/8250_aspeed_vuart.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 1,5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &port->lock | ||
| HALF_LOCKED2 | flags |
drivers/tty/serial/8250/8250_of.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| NOCHECK_CALL |
drivers/tty/serial/8250/8250_of.c serial_port_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 6764027032833654784 |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->delays->blkio_count | 0-4294967295 |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->delays->blkio_delay_max | 0-s64max |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->delays->blkio_delay_min | 0-s64max |
| PARAM_VALUE | 0 | addr->dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | addr->dev->iommu_group->default_domain | 0-s64max |
| PARAM_VALUE | 0 | addr->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | addr->icount | 0-s32max |
| PARAM_VALUE | 0 | addr->iso7816 | 0-4294967295 |
| PARAM_VALUE | 0 | addr->lock | s32min-s32max |
| PARAM_VALUE | 0 | addr->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | addr->ops->start_rx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->rs485 | 0-4294967295 |
| PARAM_VALUE | 0 | addr->rs485_supported | 0-4294967295 |
| PARAM_VALUE | 1 | offset | 7 |
| PARAM_VALUE | 2 | value | 160 |
| BUF_SIZE | 0 | addr | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | addr | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | addr->cons | 1 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | 0 | &addr->lock |
drivers/tty/serial/8250/8250_mtk.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 1-5,7,16-17,19,38,40,42 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | value | 0-u32max |
| HALF_LOCKED2 | &port->lock | ||
| HALF_LOCKED2 | flags |
drivers/tty/serial/8250/8250_mtk.c serial_port_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 1819181237270331392 |
| PARAM_VALUE | 0 | addr->cons | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->dev->cma_area->available_count | 0-s64max |
| PARAM_VALUE | 0 | addr->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | addr->dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | addr->dev->iommu_group->default_domain | 0-s64max |
| PARAM_VALUE | 0 | addr->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | addr->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | addr->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | addr->icount | 0-s32max |
| PARAM_VALUE | 0 | addr->ignore_status_mask | 0-1,12-13,16-19,28-31 |
| PARAM_VALUE | 0 | addr->iso7816 | 0-4294967295 |
| PARAM_VALUE | 0 | addr->lock | s32min-s32max |
| PARAM_VALUE | 0 | addr->ops->poll_get_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->poll_init | 0,542853678643802112,853403963737563136,1231480850374565888,1236650878105227264,3206955665515188224,5661098704952168448,7022633692052856832 |
| PARAM_VALUE | 0 | addr->ops->poll_put_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->start_rx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->private_data->efr | 0-255 |
| PARAM_VALUE | 0 | addr->private_data->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | addr->read_status_mask | 3,15,19,31 |
| PARAM_VALUE | 0 | addr->rs485 | 0-4294967295 |
| PARAM_VALUE | 0 | addr->rs485_supported | 0-4294967295 |
| PARAM_VALUE | 0 | addr->serial_out | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 3,9-11,21-22 |
| BUF_SIZE | 0 | addr | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | addr | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | addr->uartclk | (-1),9 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| STR_LEN | 0 | addr | (-1),7 |
| STR_LEN | 0 | addr | (-1),7 |
| STR_LEN | 0 | addr->cons | (-1) |
| CONTAINER | 0 | -96+0 | $(-1) |
| NOSPEC | 0 | addr->cons->index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | addr->cons->cflag | s32min-0,16-s32max |
| HOST_DATA | 0 | addr->cons->dropped | 0 |
| HOST_DATA | 0 | addr->cons->irq_work.node.a_flags.counter | 0 |
| HOST_DATA | 0 | addr->cons->irq_work.node.dst | 0 |
| HOST_DATA | 0 | addr->cons->irq_work.node.src | 0 |
| HOST_DATA | 0 | addr->cons->irq_work.node.u_flags | 0 |
| HOST_DATA | 0 | addr->cons->ispeed | 0-u32max |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.allow_unsafe_takeover | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.backlog | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.prio | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.seq | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.spinwait_max_us | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_prev_seq.counter | (-1)-0 |
| HOST_DATA | 0 | addr->cons->nbcon_seq.counter | s64min-s64max |
| HOST_DATA | 0 | addr->cons->nbcon_state.counter | 0 |
| HOST_DATA | 0 | addr->cons->ospeed | 0-u32max |
| HOST_DATA | 0 | addr->cons->seq | 0-u64max |
| HOST_DATA | 0 | addr->frame_time | 1-8,23-u32max[c] |
| USER_DATA | 0 | addr->cons->index | 0-3[c] |
| USER_DATA | 0 | addr->frame_time | 1-u32max[c] |
| HALF_LOCKED2 | &port->mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &console_mutex | ||
| HALF_LOCKED2 | 0 | &addr->lock |
drivers/tty/serial/8250/8250_dw.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| NOCHECK_CALL |
drivers/tty/serial/8250/8250_dw.c serial_port_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 0 | addr->cons->rcuwait.task->sched_class->uclamp_enabled | 0-1 |
| PARAM_VALUE | 0 | addr->dev->cma_area->available_count | 0-s64max |
| PARAM_VALUE | 0 | addr->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | addr->dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | addr->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | addr->ops->break_ctl | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->config_port | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->enable_ms | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->flush_buffer | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->get_mctrl | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->ioctl | 0 |
| PARAM_VALUE | 0 | addr->ops->pm | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->poll_get_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->poll_init | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->poll_put_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->release_port | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->request_port | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->send_xchar | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->set_ldisc | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->set_mctrl | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->set_termios | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->shutdown | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->start_rx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->start_tx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->startup | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->stop_rx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->stop_tx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->throttle | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->tx_empty | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->type | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->unthrottle | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->verify_port | 0,4096-ptr_max |
| PARAM_VALUE | 1 | offset | 1-4 |
| BUF_SIZE | 0 | addr | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | addr | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | addr->dev | (-1),1616 |
| BUF_SIZE | 0 | addr->name | (-1)-s32max |
| BUF_SIZE | 0 | addr->ops | (-1),216 |
| BUF_SIZE | 0 | addr->private_data | (-1),1-s32max |
| BUF_SIZE | 0 | addr->uartclk | (-1),9 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| STR_LEN | 0 | addr | (-1),1,7 |
| STR_LEN | 0 | addr | (-1),1,7 |
| STR_LEN | 0 | addr->cons | (-1) |
| CONTAINER | 0 | -96+0 | $(-1) |
| NOSPEC | 0 | addr->cons->index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | addr->cons->cflag | s32min-s32max |
| HOST_DATA | 0 | addr->cons->dropped | 0 |
| HOST_DATA | 0 | addr->cons->irq_work.node.a_flags.counter | 0-s32max |
| HOST_DATA | 0 | addr->cons->irq_work.node.dst | 0-u16max |
| HOST_DATA | 0 | addr->cons->irq_work.node.src | 0-u16max |
| HOST_DATA | 0 | addr->cons->irq_work.node.u_flags | 0-s32max |
| HOST_DATA | 0 | addr->cons->ispeed | 0-u32max |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.allow_unsafe_takeover | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.backlog | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.prio | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.seq | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.spinwait_max_us | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_prev_seq.counter | (-1)-0 |
| HOST_DATA | 0 | addr->cons->nbcon_seq.counter | s64min-s64max |
| HOST_DATA | 0 | addr->cons->nbcon_state.counter | 0 |
| HOST_DATA | 0 | addr->cons->ospeed | 0-u32max |
| HOST_DATA | 0 | addr->cons->seq | 0-u64max |
| HOST_DATA | 0 | addr->cons_flow | 0-1 |
| HOST_DATA | 0 | addr->console_reinit | 0-255 |
| HOST_DATA | 0 | addr->ctrl_id | 0-u32max |
| HOST_DATA | 0 | addr->custom_divisor | 0-u32max |
| HOST_DATA | 0 | addr->fifosize | 0-u32max |
| HOST_DATA | 0 | addr->flags | 0-u64max |
| HOST_DATA | 0 | addr->frame_time | 0-u32max |
| HOST_DATA | 0 | addr->has_sysrq | 0-255 |
| HOST_DATA | 0 | addr->hub6 | 0-255 |
| HOST_DATA | 0 | addr->hw_stopped | 0-1 |
| HOST_DATA | 0 | addr->icount.brk | 0-u32max |
| HOST_DATA | 0 | addr->icount.buf_overrun | 0-u32max |
| HOST_DATA | 0 | addr->icount.cts | 0-u32max |
| HOST_DATA | 0 | addr->icount.dcd | 0-u32max |
| HOST_DATA | 0 | addr->icount.dsr | 0-u32max |
| HOST_DATA | 0 | addr->icount.frame | 0-u32max |
| HOST_DATA | 0 | addr->icount.overrun | 0-u32max |
| HOST_DATA | 0 | addr->icount.parity | 0-u32max |
| HOST_DATA | 0 | addr->icount.rng | 0-u32max |
| HOST_DATA | 0 | addr->icount.rx | 0-u32max |
| HOST_DATA | 0 | addr->icount.tx | 0-u32max |
| HOST_DATA | 0 | addr->ignore_status_mask | 0-u32max |
| HOST_DATA | 0 | addr->iobase | 0-u64max |
| HOST_DATA | 0 | addr->iotype | s32min-s32max |
| HOST_DATA | 0 | addr->irq | 0-u32max |
| HOST_DATA | 0 | addr->irqflags | 0-u64max |
| HOST_DATA | 0 | addr->iso7816.clk | 0-u32max |
| HOST_DATA | 0 | addr->iso7816.flags | 0-u32max |
| HOST_DATA | 0 | addr->iso7816.sc_di | 0-u32max |
| HOST_DATA | 0 | addr->iso7816.sc_fi | 0-u32max |
| HOST_DATA | 0 | addr->iso7816.tg | 0-u32max |
| HOST_DATA | 0 | addr->line | 0-u32max |
| HOST_DATA | 0 | addr->mapbase | 0-u64max |
| HOST_DATA | 0 | addr->mapsize | 0-u64max |
| HOST_DATA | 0 | addr->mctrl | 0-u32max |
| HOST_DATA | 0 | addr->minor | 0-u32max |
| HOST_DATA | 0 | addr->port_id | 0-u32max |
| HOST_DATA | 0 | addr->quirks | 0-255 |
| HOST_DATA | 0 | addr->read_status_mask | 0-u32max |
| HOST_DATA | 0 | addr->regshift | 0-255 |
| HOST_DATA | 0 | addr->rs485.addr_dest | 0-255 |
| HOST_DATA | 0 | addr->rs485.addr_recv | 0-255 |
| HOST_DATA | 0 | addr->rs485.delay_rts_after_send | 0-u32max |
| HOST_DATA | 0 | addr->rs485.delay_rts_before_send | 0-u32max |
| HOST_DATA | 0 | addr->rs485.flags | 0-u32max |
| HOST_DATA | 0 | addr->rs485_supported.addr_dest | 0-255 |
| HOST_DATA | 0 | addr->rs485_supported.addr_recv | 0-255 |
| HOST_DATA | 0 | addr->rs485_supported.delay_rts_after_send | 0-u32max |
| HOST_DATA | 0 | addr->rs485_supported.delay_rts_before_send | 0-u32max |
| HOST_DATA | 0 | addr->rs485_supported.flags | 0-u32max |
| HOST_DATA | 0 | addr->status | 0-u32max |
| HOST_DATA | 0 | addr->suspended | 0-255 |
| HOST_DATA | 0 | addr->sysrq | 0-u64max |
| HOST_DATA | 0 | addr->sysrq_ch | 0-255 |
| HOST_DATA | 0 | addr->sysrq_seq | 0-255 |
| HOST_DATA | 0 | addr->type | 0-u32max |
| HOST_DATA | 0 | addr->uartclk | 0-u32max |
| HOST_DATA | 0 | addr->x_char | 0-255 |
| HOST_DATA | 2 | value | 0-u32max |
| USER_DATA | 0 | addr->cons->index | 0-3[c] |
| USER_DATA | 0 | addr->frame_time | 1-u32max[c] |
| USER_DATA | 2 | value | 1-s32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | addr->cons->kthread->dl.dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | addr->cons->pbufs | |
| NO_OVERFLOW_SIMPLE | 0 | addr->dev->cma_area->available_count | |
| NO_OVERFLOW_SIMPLE | 0 | addr->dev->p->deferred_probe_reason | |
| NO_OVERFLOW_SIMPLE | 0 | addr->icount.tx | |
| NO_OVERFLOW_SIMPLE | 0 | addr->iobase | |
| NO_OVERFLOW_SIMPLE | 0 | addr->mapbase | |
| NO_OVERFLOW_SIMPLE | 0 | addr->mapsize | |
| NO_OVERFLOW_SIMPLE | 0 | addr->port_dev->dev.p->deferred_probe_reason | |
| NO_OVERFLOW_SIMPLE | 0 | addr->port_dev->dev.physical_location | |
| HALF_LOCKED2 | &_T->lock->lock | ||
| HALF_LOCKED2 | &tty->legacy_mutex | ||
| HALF_LOCKED2 | &tty->termios_rwsem | ||
| HALF_LOCKED2 | _T->flags | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | 0 | &addr->lock |
drivers/tty/serial/8250/8250_core.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 1,4-5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | value | 0-u32max |
| HALF_LOCKED2 | &_T->lock->lock | ||
| HALF_LOCKED2 | &port->lock | ||
| HALF_LOCKED2 | &up->port.lock | ||
| HALF_LOCKED2 | _T->flags | ||
| HALF_LOCKED2 | flags |
drivers/tty/serial/8250/8250_core.c serial_port_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 3 |
| PARAM_VALUE | 2 | value | 0,224 |
| BUF_SIZE | 0 | addr | 616 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/tty/serial/8250/8250_uniphier.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| NOCHECK_CALL |
drivers/tty/serial/8250/8250_loongson.c serial_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 5,7 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| CONTAINER | 0 | -96+0 | $(-1) |
| NOCHECK_CALL |
drivers/tty/serial/8250/8250_loongson.c serial_port_out() -> (struct uart_port)->serial_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 5232077229377040384 |
| PARAM_VALUE | 0 | addr->dev->cma_area->available_count | 0-s64max |
| PARAM_VALUE | 0 | addr->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | addr->dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | addr->dev->iommu_group->default_domain | 0-s64max |
| PARAM_VALUE | 0 | addr->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | addr->icount | 0-s32max |
| PARAM_VALUE | 0 | addr->iso7816 | 0-4294967295 |
| PARAM_VALUE | 0 | addr->lock | s32min-s32max |
| PARAM_VALUE | 0 | addr->ops->poll_get_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->poll_init | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->poll_put_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->send_xchar | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->set_ldisc | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->start_rx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->throttle | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->ops->unthrottle | 0,4096-ptr_max |
| PARAM_VALUE | 0 | addr->rs485 | 0-4294967295 |
| PARAM_VALUE | 0 | addr->rs485_supported | 0-4294967295 |
| PARAM_VALUE | 0 | addr->serial_out | 0,4096-ptr_max |
| PARAM_VALUE | 1 | offset | 2-3 |
| BUF_SIZE | 0 | addr | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | addr | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | addr->uartclk | (-1),9 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| STR_LEN | 0 | addr | (-1),7 |
| STR_LEN | 0 | addr | (-1),7 |
| STR_LEN | 0 | addr->cons | (-1) |
| CONTAINER | 0 | -96+0 | $(-1) |
| NOSPEC | 0 | addr->cons->index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | addr->cons->cflag | s32min-s32max |
| HOST_DATA | 0 | addr->cons->dropped | 0 |
| HOST_DATA | 0 | addr->cons->irq_work.node.a_flags.counter | 0 |
| HOST_DATA | 0 | addr->cons->irq_work.node.dst | 0 |
| HOST_DATA | 0 | addr->cons->irq_work.node.src | 0 |
| HOST_DATA | 0 | addr->cons->irq_work.node.u_flags | 0 |
| HOST_DATA | 0 | addr->cons->ispeed | 0-u32max |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.allow_unsafe_takeover | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.backlog | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.prio | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.seq | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_device_ctxt.spinwait_max_us | 0 |
| HOST_DATA | 0 | addr->cons->nbcon_prev_seq.counter | (-1)-0 |
| HOST_DATA | 0 | addr->cons->nbcon_seq.counter | s64min-s64max |
| HOST_DATA | 0 | addr->cons->nbcon_state.counter | 0 |
| HOST_DATA | 0 | addr->cons->ospeed | 0-u32max |
| HOST_DATA | 0 | addr->cons->seq | 0-u64max |
| HOST_DATA | 0 | addr->frame_time | 1-8,23-u32max[c] |
| HOST_DATA | 2 | value | 0-s32max[c] |
| USER_DATA | 0 | addr->cons->index | 0-3[c] |
| USER_DATA | 0 | addr->frame_time | 1-u32max[c] |
| USER_DATA | 2 | value | 0-s32max[c] |
| HALF_LOCKED2 | &_T->lock->lock | ||
| HALF_LOCKED2 | _T->flags |