Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/misc/genwqe/card_dev.c do_execute_ddcb() -> genwqe_execute_ddcb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cfile | 4096-ptr_max |
| PARAM_VALUE | 0 | cfile->cd | 4096-ptr_max |
| PARAM_VALUE | 0 | cfile->cd->pci_dev->error_state | 1 |
| PARAM_VALUE | 1 | cmd | 4096-ptr_max |
| BUF_SIZE | 0 | cfile | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | cfile | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | cmd | 232 |
| DATA_SOURCE | 0 | cfile | $0 |
| DATA_SOURCE | 1 | cmd | r ddcb_requ_alloc |
| USER_DATA | 1 | cmd->acfunc | 0-255 |
| USER_DATA | 1 | cmd->asiv_length | 0-255 |
| USER_DATA | 1 | cmd->asv_length | 0-255 |
| USER_DATA | 1 | cmd->ats | 0-u64max |
| USER_DATA | 1 | cmd->attn | 0-u16max |
| USER_DATA | 1 | cmd->cmd | 0-255 |
| USER_DATA | 1 | cmd->cmdopts | 0-u16max |
| USER_DATA | 1 | cmd->cmplt_ts | 0-u64max |
| USER_DATA | 1 | cmd->ddata_addr | 0-u64max |
| USER_DATA | 1 | cmd->deque_ts | 0-u64max |
| USER_DATA | 1 | cmd->disp_ts | 0-u64max |
| USER_DATA | 1 | cmd->flags | 0-u64max |
| USER_DATA | 1 | cmd->next_addr | 0-u64max |
| USER_DATA | 1 | cmd->progress | 0-u32max |
| USER_DATA | 1 | cmd->retc | 0-u16max |
| USER_DATA | 1 | cmd->vcrc | 0-u16max |
| USER_PTR | 1 | cmd | |
| USER_PTR | 1 | cmd->asv |