Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/vdpa/vdpa_user/vduse_dev.c vduse_ioctl() -> vduse_destroy_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | name | 783520518774624256 |
| BUF_SIZE | 0 | name | 256 |
| TERMINATED | 0 | name | 1 |
| USER_DATA | 0 | *name | 0-255 |
| USER_PTR | 0 | name | |
| LOCK2 | global &vduse_lock |