Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/misc/cardreader/rtsx_usb.c rtsx_usb_seq_read_register() -> rtsx_usb_seq_cmd_hdr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ucr | 4096-ptr_max |
| PARAM_VALUE | 0 | ucr->cmd_buf | 4096-ptr_max |
| PARAM_VALUE | 1 | addr | 64000 |
| PARAM_VALUE | 3 | seq_type | 1 |
| DATA_SOURCE | 0 | ucr | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | len | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| LOCK2 | &ucr->dev_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct rtsx_ucr)->dev_mutex |
drivers/misc/cardreader/rtsx_usb.c rtsx_usb_seq_write_register() -> rtsx_usb_seq_cmd_hdr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | addr | 64000 |
| PARAM_VALUE | 3 | seq_type | 2 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 0 | ucr | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | len | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| LOCK2 | &ucr->dev_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct rtsx_ucr)->dev_mutex |