Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/tty_io.c tty_register_device_attr() -> tty_cdev_add()

Type Parameter Key Value
PARAM_VALUE 0 driver 4096-ptr_max
PARAM_VALUE 0 driver->num 1-u32max
PARAM_VALUE 0 driver->ops->break_ctl 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->chars_in_buffer 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->cleanup 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->close 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->compat_ioctl 0,1607379221601308672,5008286898947497984,6364353445524312064
PARAM_VALUE 0 driver->ops->flush_buffer 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->flush_chars 0,1052010245467496448,2980791929595514880,3704408163259400192,5936479321816121344,7727514164138360832
PARAM_VALUE 0 driver->ops->get_icount 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->get_serial 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->hangup 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->install 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->ioctl 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->ldisc_ok 0,6843386834578624512
PARAM_VALUE 0 driver->ops->lookup 0,1028560029362032640,3174408500077174784
PARAM_VALUE 0 driver->ops->open 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->poll_get_char 0,4172584550987694080,8810588628199956480
PARAM_VALUE 0 driver->ops->poll_init 0,1455831725284642816,7005422354281586688
PARAM_VALUE 0 driver->ops->poll_put_char 0,317088091350007808,4944462343817641984
PARAM_VALUE 0 driver->ops->proc_show 0,356236415985979392,5729891321464528896,9011853526131630080
PARAM_VALUE 0 driver->ops->put_char 0,46317935159074816,946511232463630336,5234932001147445248,6499862429192966144,7134038662404317184
PARAM_VALUE 0 driver->ops->remove 0,384629141214146560,3489019467251376128
PARAM_VALUE 0 driver->ops->resize 0,2815742157479378944,7598537204212207616
PARAM_VALUE 0 driver->ops->send_xchar 0,2462859047340216320,4708555404674125824,8710759130855649280
PARAM_VALUE 0 driver->ops->set_ldisc 0,1741587377620623360
PARAM_VALUE 0 driver->ops->set_serial 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->set_termios 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->show_fdinfo 0,5525676422896762880
PARAM_VALUE 0 driver->ops->shutdown 0,3518621193109893120,5469287042401259520
PARAM_VALUE 0 driver->ops->start 0,251324532200828928,1038803386632884224,1167599979921588224,1380472159287435264,2505730045728698368
PARAM_VALUE 0 driver->ops->stop 0,550124932249174016,3234480389994364928,5153393563898503168,6441875407016759296,7334840043119542272
PARAM_VALUE 0 driver->ops->throttle 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->tiocmget 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->tiocmset 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->unthrottle 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->wait_until_sent 0,2578158375326154752,2614800216018440192,6874988682411192320,7074827580452507648,7916194843820081152
PARAM_VALUE 0 driver->ops->write 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->write_room 0,4096-ptr_max
PARAM_VALUE 0 driver->termios 4096-ptr_max
PARAM_VALUE 2 index 0-4294967294
PARAM_VALUE 3 count 1
BUF_SIZE 0 driver (-1),200
BUF_SIZE 0 driver (-1),200
BUF_SIZE 0 driver->driver_name (-1),3-4,7-11
BUF_SIZE 0 driver->driver_state (-1),64
BUF_SIZE 0 driver->flip_wq (-1),512,528-8720
BUF_SIZE 0 driver->name (-1)-s32max
BUF_SIZE 0 driver->other (-1),200
CAPPED_DATA 2 index 1
DATA_SOURCE 0 driver $0
DATA_SOURCE 2 index $1
STR_LEN 0 driver->driver_name (-1),2-3,6-10
STR_LEN 0 driver->name (-1),3-9
STR_LEN 0 driver->other->driver_name (-1),10
STR_LEN 0 driver->other->name (-1),3
PARAM_COMPARE 0 driver->num > $2
PARAM_COMPARE 2 index < $0->num
BIT_INFO 0 driver->flags 0x0,0xffffffffffffffbf
NOSPEC 2 index
NOSPEC 2 index
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 index 0-255[c]
NO_OVERFLOW_SIMPLE 0 driver->num
NO_OVERFLOW_SIMPLE 0 driver->other->num
UNITS 2 index unit_array_size
HALF_LOCKED2 _T->lock

drivers/tty/tty_io.c tty_register_driver() -> tty_cdev_add()

Type Parameter Key Value
PARAM_VALUE 0 driver 4096-ptr_max
PARAM_VALUE 0 driver->cdevs 4096-ptr_max
PARAM_VALUE 0 driver->flags 134,326,350
PARAM_VALUE 0 driver->kref.refcount.refs.counter 1
PARAM_VALUE 0 driver->num 1-u32max
PARAM_VALUE 0 driver->ops 4096-ptr_max
PARAM_VALUE 0 driver->ops->break_ctl 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->chars_in_buffer 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->cleanup 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->close 4096-ptr_max
PARAM_VALUE 0 driver->ops->compat_ioctl 0,1607379221601308672,5008286898947497984,6364353445524312064
PARAM_VALUE 0 driver->ops->flush_buffer 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->flush_chars 0,1052010245467496448,2980791929595514880,3704408163259400192,5936479321816121344,7727514164138360832
PARAM_VALUE 0 driver->ops->get_icount 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->get_serial 0,1330961132715589632,4039553157414182912,4811237459575484416,4871069280902643712,5552263133363023872,6182381990465540096
PARAM_VALUE 0 driver->ops->hangup 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->install 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->ioctl 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->ldisc_ok 0,6843386834578624512
PARAM_VALUE 0 driver->ops->lookup 0,1028560029362032640,3174408500077174784
PARAM_VALUE 0 driver->ops->open 4096-ptr_max
PARAM_VALUE 0 driver->ops->poll_get_char 0,4172584550987694080,8810588628199956480
PARAM_VALUE 0 driver->ops->poll_init 0,1455831725284642816,7005422354281586688
PARAM_VALUE 0 driver->ops->poll_put_char 0,317088091350007808,4944462343817641984
PARAM_VALUE 0 driver->ops->proc_show 0,356236415985979392,5729891321464528896,9011853526131630080
PARAM_VALUE 0 driver->ops->put_char 0,46317935159074816,946511232463630336,5234932001147445248,6499862429192966144,7134038662404317184
PARAM_VALUE 0 driver->ops->remove 0,384629141214146560,3489019467251376128
PARAM_VALUE 0 driver->ops->resize 0,2815742157479378944,7598537204212207616
PARAM_VALUE 0 driver->ops->send_xchar 0,2462859047340216320,4708555404674125824,8710759130855649280
PARAM_VALUE 0 driver->ops->set_ldisc 0,1741587377620623360
PARAM_VALUE 0 driver->ops->set_serial 0,1094580457323642880,1874457111024828416,3044275849337626624,4342027950721310720,4577945029913939968,6749800265494245376
PARAM_VALUE 0 driver->ops->set_termios 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->show_fdinfo 0,5525676422896762880
PARAM_VALUE 0 driver->ops->shutdown 0,3518621193109893120,5469287042401259520
PARAM_VALUE 0 driver->ops->start 0,251324532200828928,1038803386632884224,1167599979921588224,1380472159287435264,2505730045728698368
PARAM_VALUE 0 driver->ops->stop 0,550124932249174016,3234480389994364928,5153393563898503168,6441875407016759296,7334840043119542272
PARAM_VALUE 0 driver->ops->throttle 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->tiocmget 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->tiocmset 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->unthrottle 0,4096-ptr_max
PARAM_VALUE 0 driver->ops->wait_until_sent 0,2578158375326154752,2614800216018440192,6874988682411192320,7074827580452507648,7916194843820081152
PARAM_VALUE 0 driver->ops->write 4096-ptr_max
PARAM_VALUE 0 driver->ops->write_room 4096-ptr_max
PARAM_VALUE 0 driver->owner 0
PARAM_VALUE 0 driver->type 0-3
PARAM_VALUE 2 index 0
PARAM_VALUE 3 count 1-u32max
BUF_SIZE 0 driver 200
BUF_SIZE 0 driver->driver_name (-1),3-4,7-11
BUF_SIZE 0 driver->driver_state (-1),64
BUF_SIZE 0 driver->flip_wq (-1),512,528-8720
BUF_SIZE 0 driver->name (-1)-s32max
BUF_SIZE 0 driver->other (-1),200
CAPPED_DATA 0 driver->name 1
CAPPED_DATA 0 driver->num 1
CAPPED_DATA 3 count 1
DATA_SOURCE 0 driver $0
STR_LEN 0 driver->driver_name (-1),2-3,6-10
STR_LEN 0 driver->name (-1),3-9
STR_LEN 0 driver->other->driver_name (-1),10
STR_LEN 0 driver->other->name (-1),3
BIT_INFO 0 driver->flags 0x40,0x1ff
BIT_INFO 0 driver->num 0x0,0x7fffffff
BIT_INFO 3 count 0x0,0x7fffffff
HARD_MAX 0 driver->type 3
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 driver->num
NO_OVERFLOW_SIMPLE 0 driver->other->num
NO_OVERFLOW_SIMPLE 3 count
UNITS 1 dev unit_array_size
UNITS 3 count unit_array_size
HALF_LOCKED2 global &goldfish_tty_lock