Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

drivers/tty/serial/8250/8250_bcm7271.c brcmuart_shutdown() -> serial8250_do_shutdown()

Type Parameter Key Value
PARAM_VALUE 0 port 1346846652993830912
PARAM_VALUE 0 port->attr_group 0
PARAM_VALUE 0 port->break_ctl 0
PARAM_VALUE 0 port->cons 0
PARAM_VALUE 0 port->console_reinit 0
PARAM_VALUE 0 port->ctrl_id 0
PARAM_VALUE 0 port->custom_divisor 0
PARAM_VALUE 0 port->dev 0,4096-ptr_max
PARAM_VALUE 0 port->flags 0,64-u64max
PARAM_VALUE 0 port->get_divisor 0
PARAM_VALUE 0 port->get_mctrl 0
PARAM_VALUE 0 port->get_rxtrig 0
PARAM_VALUE 0 port->handle_break 0
PARAM_VALUE 0 port->has_sysrq 0
PARAM_VALUE 0 port->hub6 0
PARAM_VALUE 0 port->hw_stopped 0
PARAM_VALUE 0 port->icount 0
PARAM_VALUE 0 port->ignore_status_mask 0-1,12-13,16-19,28-31
PARAM_VALUE 0 port->iobase 0
PARAM_VALUE 0 port->iotype (-1)-0,2-3,6-7
PARAM_VALUE 0 port->irq 0-s32max
PARAM_VALUE 0 port->irqflags 0
PARAM_VALUE 0 port->iso7816 0
PARAM_VALUE 0 port->iso7816_config 0
PARAM_VALUE 0 port->lock s32min-s32max
PARAM_VALUE 0 port->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 port->membase 0,4096-ptr_max
PARAM_VALUE 0 port->minor 0
PARAM_VALUE 0 port->name 0
PARAM_VALUE 0 port->ops 0
PARAM_VALUE 0 port->pm 0
PARAM_VALUE 0 port->port_dev 0
PARAM_VALUE 0 port->port_id 0
PARAM_VALUE 0 port->private_data 0,4096-ptr_max
PARAM_VALUE 0 port->quirks 0
PARAM_VALUE 0 port->read_status_mask 0,3,15,19,31
PARAM_VALUE 0 port->rs485 0
PARAM_VALUE 0 port->rs485_config 0
PARAM_VALUE 0 port->rs485_rx_during_tx_gpio 0
PARAM_VALUE 0 port->rs485_supported 0
PARAM_VALUE 0 port->rs485_term_gpio 0
PARAM_VALUE 0 port->set_divisor 0
PARAM_VALUE 0 port->set_ldisc 0
PARAM_VALUE 0 port->set_mctrl 0
PARAM_VALUE 0 port->set_rxtrig 0
PARAM_VALUE 0 port->set_termios 0,4101205415987269632
PARAM_VALUE 0 port->shutdown 0,8718491819880652800
PARAM_VALUE 0 port->startup 0,3434437052138033152
PARAM_VALUE 0 port->state 0
PARAM_VALUE 0 port->status 0
PARAM_VALUE 0 port->suspended 0
PARAM_VALUE 0 port->sysrq 0
PARAM_VALUE 0 port->sysrq_ch 0
PARAM_VALUE 0 port->sysrq_seq 0
PARAM_VALUE 0 port->throttle 0,1910511969926316032
PARAM_VALUE 0 port->tty_groups 0
PARAM_VALUE 0 port->type 0,76
PARAM_VALUE 0 port->unthrottle 0,2750326186656206848
PARAM_VALUE 0 port->x_char 0
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
NOCHECK_CALL
LOCK2 _T->lock

drivers/tty/serial/8250/8250_exar.c exar_shutdown() -> serial8250_do_shutdown()

Type Parameter Key Value
PARAM_VALUE 0 port 6529596623791599616
PARAM_VALUE 0 port->attr_group 0
PARAM_VALUE 0 port->break_ctl 0
PARAM_VALUE 0 port->cons 0
PARAM_VALUE 0 port->console_reinit 0
PARAM_VALUE 0 port->ctrl_id 0
PARAM_VALUE 0 port->custom_divisor 0
PARAM_VALUE 0 port->dev 0,4096-ptr_max
PARAM_VALUE 0 port->flags 0,721420288
PARAM_VALUE 0 port->frame_time 0
PARAM_VALUE 0 port->get_divisor 0,2807437018230194176
PARAM_VALUE 0 port->get_mctrl 0
PARAM_VALUE 0 port->get_rxtrig 0
PARAM_VALUE 0 port->handle_break 0
PARAM_VALUE 0 port->has_sysrq 0
PARAM_VALUE 0 port->hub6 0
PARAM_VALUE 0 port->hw_stopped 0
PARAM_VALUE 0 port->icount 0
PARAM_VALUE 0 port->ignore_status_mask 0
PARAM_VALUE 0 port->iotype 0,2
PARAM_VALUE 0 port->irqflags 0
PARAM_VALUE 0 port->iso7816 0
PARAM_VALUE 0 port->iso7816_config 0
PARAM_VALUE 0 port->line 0
PARAM_VALUE 0 port->lock s32min-s32max
PARAM_VALUE 0 port->mapsize 0
PARAM_VALUE 0 port->minor 0
PARAM_VALUE 0 port->name 0
PARAM_VALUE 0 port->ops 0
PARAM_VALUE 0 port->pm 0,2996081791248404480
PARAM_VALUE 0 port->port_dev 0
PARAM_VALUE 0 port->port_id 0-4294967294
PARAM_VALUE 0 port->private_data 0,4096-u64max
PARAM_VALUE 0 port->quirks 0
PARAM_VALUE 0 port->read_status_mask 0
PARAM_VALUE 0 port->regshift 0,2,4,7
PARAM_VALUE 0 port->rs485 0
PARAM_VALUE 0 port->rs485_rx_during_tx_gpio 0
PARAM_VALUE 0 port->rs485_supported 0
PARAM_VALUE 0 port->rs485_term_gpio 0
PARAM_VALUE 0 port->set_divisor 0,513757538912956416
PARAM_VALUE 0 port->set_ldisc 0
PARAM_VALUE 0 port->set_mctrl 0
PARAM_VALUE 0 port->set_rxtrig 0
PARAM_VALUE 0 port->set_termios 0
PARAM_VALUE 0 port->shutdown 0,8962044655378399232
PARAM_VALUE 0 port->startup 0,3856046705570344960
PARAM_VALUE 0 port->state 0
PARAM_VALUE 0 port->status 0
PARAM_VALUE 0 port->suspended 0
PARAM_VALUE 0 port->sysrq 0
PARAM_VALUE 0 port->sysrq_ch 0
PARAM_VALUE 0 port->sysrq_seq 0
PARAM_VALUE 0 port->throttle 0
PARAM_VALUE 0 port->tty_groups 0
PARAM_VALUE 0 port->type 0,21,24
PARAM_VALUE 0 port->uartclk 0-s32max
PARAM_VALUE 0 port->unthrottle 0
PARAM_VALUE 0 port->x_char 0
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
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 0 &port->lock

drivers/tty/serial/8250/8250_mxpcie.c mxpcie8250_shutdown() -> serial8250_do_shutdown()

Type Parameter Key Value
PARAM_VALUE 0 port 6253828957567959040
PARAM_VALUE 0 port->attr_group 0
PARAM_VALUE 0 port->break_ctl 0,7853488113029939200
PARAM_VALUE 0 port->cons 0
PARAM_VALUE 0 port->console_reinit 0
PARAM_VALUE 0 port->ctrl_id 0
PARAM_VALUE 0 port->custom_divisor 0
PARAM_VALUE 0 port->dev 0,4096-ptr_max
PARAM_VALUE 0 port->flags 0,419430464
PARAM_VALUE 0 port->get_divisor 0
PARAM_VALUE 0 port->get_mctrl 0
PARAM_VALUE 0 port->get_rxtrig 0,2453836261628796928
PARAM_VALUE 0 port->handle_break 0
PARAM_VALUE 0 port->has_sysrq 0
PARAM_VALUE 0 port->hub6 0
PARAM_VALUE 0 port->hw_stopped 0
PARAM_VALUE 0 port->icount 0
PARAM_VALUE 0 port->ignore_status_mask 0-1,12-13,16-19,28-31
PARAM_VALUE 0 port->iobase 0
PARAM_VALUE 0 port->iotype 0,2
PARAM_VALUE 0 port->irqflags 0
PARAM_VALUE 0 port->iso7816 0
PARAM_VALUE 0 port->iso7816_config 0
PARAM_VALUE 0 port->line 0
PARAM_VALUE 0 port->lock 0
PARAM_VALUE 0 port->mapsize 0
PARAM_VALUE 0 port->minor 0
PARAM_VALUE 0 port->name 0
PARAM_VALUE 0 port->ops 0
PARAM_VALUE 0 port->pm 0
PARAM_VALUE 0 port->port_dev 0
PARAM_VALUE 0 port->port_id 0-s32max
PARAM_VALUE 0 port->private_data 0
PARAM_VALUE 0 port->quirks 0
PARAM_VALUE 0 port->regshift 0
PARAM_VALUE 0 port->rs485 0,513
PARAM_VALUE 0 port->rs485_rx_during_tx_gpio 0
PARAM_VALUE 0 port->rs485_supported 0
PARAM_VALUE 0 port->rs485_term_gpio 0
PARAM_VALUE 0 port->set_divisor 0
PARAM_VALUE 0 port->set_ldisc 0
PARAM_VALUE 0 port->set_mctrl 0
PARAM_VALUE 0 port->set_rxtrig 0,7992203340138283008
PARAM_VALUE 0 port->set_termios 0,7405800079697027072
PARAM_VALUE 0 port->shutdown 0,1777342155058274304
PARAM_VALUE 0 port->startup 0,1474121871731851264
PARAM_VALUE 0 port->state 0
PARAM_VALUE 0 port->status 0
PARAM_VALUE 0 port->suspended 0
PARAM_VALUE 0 port->sysrq 0
PARAM_VALUE 0 port->sysrq_ch 0
PARAM_VALUE 0 port->sysrq_seq 0
PARAM_VALUE 0 port->throttle 0,7390467571637153792
PARAM_VALUE 0 port->tty_groups 0
PARAM_VALUE 0 port->type 0,65
PARAM_VALUE 0 port->uartclk 0,14745600
PARAM_VALUE 0 port->unthrottle 0,1391424235131097088
PARAM_VALUE 0 port->x_char 0
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
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 0 &port->lock

drivers/tty/serial/8250/8250_ni.c ni16550_port_shutdown() -> serial8250_do_shutdown()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->private_data->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 port->serial_in 4096-ptr_max
PARAM_VALUE 0 port->serial_out 4096-ptr_max
PARAM_VALUE 0 port->shutdown 1-u64max
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
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 0 &port->lock

drivers/tty/serial/8250/8250_port.c serial8250_shutdown() -> serial8250_do_shutdown()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->shutdown 0
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
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 0 &port->lock

drivers/tty/serial/8250/8250_aspeed_vuart.c aspeed_vuart_shutdown() -> serial8250_do_shutdown()

Type Parameter Key Value
PARAM_VALUE 0 port 128762414356135936
PARAM_VALUE 0 port->attr_group 0
PARAM_VALUE 0 port->break_ctl 0
PARAM_VALUE 0 port->cons 0
PARAM_VALUE 0 port->console_reinit 0
PARAM_VALUE 0 port->ctrl_id 0
PARAM_VALUE 0 port->dev 0,4096-ptr_max
PARAM_VALUE 0 port->flags 0,64-u64max
PARAM_VALUE 0 port->frame_time 0
PARAM_VALUE 0 port->get_divisor 0
PARAM_VALUE 0 port->get_mctrl 0
PARAM_VALUE 0 port->get_rxtrig 0
PARAM_VALUE 0 port->handle_break 0
PARAM_VALUE 0 port->has_sysrq 0-1
PARAM_VALUE 0 port->hub6 0
PARAM_VALUE 0 port->hw_stopped 0
PARAM_VALUE 0 port->icount 0
PARAM_VALUE 0 port->ignore_status_mask 0
PARAM_VALUE 0 port->iobase 0
PARAM_VALUE 0 port->iotype (-1)-0,2-3,6-7
PARAM_VALUE 0 port->irq 0-s32max
PARAM_VALUE 0 port->irqflags 0
PARAM_VALUE 0 port->iso7816 0
PARAM_VALUE 0 port->iso7816_config 0
PARAM_VALUE 0 port->lock s32min-s32max
PARAM_VALUE 0 port->minor 0
PARAM_VALUE 0 port->name 0
PARAM_VALUE 0 port->ops 0
PARAM_VALUE 0 port->pm 0
PARAM_VALUE 0 port->port_dev 0
PARAM_VALUE 0 port->port_id 0-s32max
PARAM_VALUE 0 port->private_data 0,4096-ptr_max
PARAM_VALUE 0 port->quirks 0
PARAM_VALUE 0 port->read_status_mask 0
PARAM_VALUE 0 port->rs485 0
PARAM_VALUE 0 port->rs485_rx_during_tx_gpio 0
PARAM_VALUE 0 port->rs485_supported 0
PARAM_VALUE 0 port->rs485_term_gpio 0
PARAM_VALUE 0 port->set_divisor 0
PARAM_VALUE 0 port->set_ldisc 0
PARAM_VALUE 0 port->set_mctrl 0
PARAM_VALUE 0 port->set_rxtrig 0
PARAM_VALUE 0 port->set_termios 0
PARAM_VALUE 0 port->shutdown 0,2852202561984970752
PARAM_VALUE 0 port->startup 0,3926916212052553728
PARAM_VALUE 0 port->state 0
PARAM_VALUE 0 port->status 0,32
PARAM_VALUE 0 port->suspended 0
PARAM_VALUE 0 port->sysrq 0
PARAM_VALUE 0 port->sysrq_ch 0
PARAM_VALUE 0 port->sysrq_seq 0
PARAM_VALUE 0 port->throttle 0,1998629505760550912
PARAM_VALUE 0 port->tty_groups 0
PARAM_VALUE 0 port->type 0,42
PARAM_VALUE 0 port->unthrottle 0,7220586589585838080
PARAM_VALUE 0 port->x_char 0
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
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 0 &port->lock

drivers/tty/serial/8250/8250_mtk.c mtk8250_shutdown() -> serial8250_do_shutdown()

Type Parameter Key Value
PARAM_VALUE 0 port 1819181237270331392
PARAM_VALUE 0 port->attr_group 0
PARAM_VALUE 0 port->break_ctl 0
PARAM_VALUE 0 port->cons 0
PARAM_VALUE 0 port->console_reinit 0
PARAM_VALUE 0 port->ctrl_id 0
PARAM_VALUE 0 port->custom_divisor 0
PARAM_VALUE 0 port->dev 0,4096-ptr_max
PARAM_VALUE 0 port->flags 0,805306368
PARAM_VALUE 0 port->get_divisor 0
PARAM_VALUE 0 port->get_mctrl 0
PARAM_VALUE 0 port->get_rxtrig 0
PARAM_VALUE 0 port->handle_break 0
PARAM_VALUE 0 port->has_sysrq 0
PARAM_VALUE 0 port->hub6 0
PARAM_VALUE 0 port->hw_stopped 0
PARAM_VALUE 0 port->icount 0
PARAM_VALUE 0 port->ignore_status_mask 0-1,12-13,16-19,28-31
PARAM_VALUE 0 port->iobase 0
PARAM_VALUE 0 port->iotype 0,3
PARAM_VALUE 0 port->irq 0-s32max
PARAM_VALUE 0 port->irqflags 0
PARAM_VALUE 0 port->iso7816 0
PARAM_VALUE 0 port->iso7816_config 0
PARAM_VALUE 0 port->line 0-s32max
PARAM_VALUE 0 port->lock s32min-s32max
PARAM_VALUE 0 port->mapsize 0
PARAM_VALUE 0 port->minor 0
PARAM_VALUE 0 port->name 0
PARAM_VALUE 0 port->ops 0
PARAM_VALUE 0 port->pm 0,4511255337713278976
PARAM_VALUE 0 port->port_dev 0
PARAM_VALUE 0 port->port_id 0-s32max
PARAM_VALUE 0 port->private_data 4096-ptr_max
PARAM_VALUE 0 port->quirks 0
PARAM_VALUE 0 port->read_status_mask 0,3,15,19,31
PARAM_VALUE 0 port->regshift 0,2
PARAM_VALUE 0 port->rs485 0
PARAM_VALUE 0 port->rs485_rx_during_tx_gpio 0
PARAM_VALUE 0 port->rs485_supported 0
PARAM_VALUE 0 port->rs485_term_gpio 0
PARAM_VALUE 0 port->set_divisor 0
PARAM_VALUE 0 port->set_ldisc 0
PARAM_VALUE 0 port->set_mctrl 0
PARAM_VALUE 0 port->set_rxtrig 0
PARAM_VALUE 0 port->set_termios 0,6006128799960182784
PARAM_VALUE 0 port->shutdown 0,3102226493243260928
PARAM_VALUE 0 port->startup 0,3330526465526231040
PARAM_VALUE 0 port->state 0
PARAM_VALUE 0 port->status 0
PARAM_VALUE 0 port->suspended 0
PARAM_VALUE 0 port->sysrq 0
PARAM_VALUE 0 port->sysrq_ch 0
PARAM_VALUE 0 port->sysrq_seq 0
PARAM_VALUE 0 port->throttle 0
PARAM_VALUE 0 port->tty_groups 0
PARAM_VALUE 0 port->type 0,3
PARAM_VALUE 0 port->unthrottle 0
PARAM_VALUE 0 port->x_char 0
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
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 0 &port->lock

drivers/tty/serial/8250/8250_dw.c dw8250_shutdown() -> serial8250_do_shutdown()

Type Parameter Key Value
PARAM_VALUE 0 port 2803218358845616128
PARAM_VALUE 0 port->attr_group 0-u32max
PARAM_VALUE 0 port->break_ctl 0
PARAM_VALUE 0 port->console_reinit 0
PARAM_VALUE 0 port->ctrl_id 0
PARAM_VALUE 0 port->custom_divisor 0
PARAM_VALUE 0 port->dev 0-255,4096-ptr_max
PARAM_VALUE 0 port->get_divisor 0,4265723444479614976
PARAM_VALUE 0 port->get_mctrl 0
PARAM_VALUE 0 port->get_rxtrig 0
PARAM_VALUE 0 port->handle_break 0-u32max
PARAM_VALUE 0 port->handle_irq 0,8244471458444804096
PARAM_VALUE 0 port->has_sysrq 0
PARAM_VALUE 0 port->hub6 0
PARAM_VALUE 0 port->hw_stopped 0
PARAM_VALUE 0 port->icount 0
PARAM_VALUE 0 port->ignore_status_mask 0,256-257,268-269,272-275,284-287
PARAM_VALUE 0 port->iobase 0
PARAM_VALUE 0 port->iotype (-1)-s32max
PARAM_VALUE 0 port->irq 0-s32max
PARAM_VALUE 0 port->irqflags 0-u32max
PARAM_VALUE 0 port->iso7816 0
PARAM_VALUE 0 port->iso7816_config 0
PARAM_VALUE 0 port->lock s32min-s32max
PARAM_VALUE 0 port->minor 0
PARAM_VALUE 0 port->name 0-u32max
PARAM_VALUE 0 port->ops 0
PARAM_VALUE 0 port->pm 0,2770102282220523520
PARAM_VALUE 0 port->port_dev 0
PARAM_VALUE 0 port->port_id 0-s32max
PARAM_VALUE 0 port->quirks 0
PARAM_VALUE 0 port->read_status_mask 0,259,271,275,287
PARAM_VALUE 0 port->rs485 0
PARAM_VALUE 0 port->rs485_rx_during_tx_gpio 0-u32max
PARAM_VALUE 0 port->rs485_supported 0
PARAM_VALUE 0 port->rs485_term_gpio 0-u32max
PARAM_VALUE 0 port->serial_in 0,4096-ptr_max
PARAM_VALUE 0 port->serial_out 0,4259017607023443968,5102965566000500736,6997864409700216832,7064709147901652992,8207901887618170880
PARAM_VALUE 0 port->set_divisor 0,574089727225958400,8390153535830097920
PARAM_VALUE 0 port->set_ldisc 0,7300308295093010432
PARAM_VALUE 0 port->set_mctrl 0
PARAM_VALUE 0 port->set_rxtrig 0
PARAM_VALUE 0 port->set_termios 0,6657532561596420096,7587422099711418368
PARAM_VALUE 0 port->shutdown 0,8800662400495300608
PARAM_VALUE 0 port->startup 0
PARAM_VALUE 0 port->state 0-u32max
PARAM_VALUE 0 port->suspended 0
PARAM_VALUE 0 port->sysrq 0
PARAM_VALUE 0 port->sysrq_ch 0
PARAM_VALUE 0 port->sysrq_seq 0
PARAM_VALUE 0 port->throttle 0
PARAM_VALUE 0 port->tty_groups 0
PARAM_VALUE 0 port->type 0-1,4,17
PARAM_VALUE 0 port->unthrottle 0
PARAM_VALUE 0 port->x_char 0
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
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 0 &port->lock