Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/drm_vblank.c drm_wait_vblank_ioctl() -> drm_wait_vblank_is_query()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vblwait | 4096-ptr_max |
| PARAM_VALUE | 0 | vblwait->request.type | 0-2147483646 |
| BUF_SIZE | 0 | vblwait | 128-16383 |
| BUF_SIZE | 0 | vblwait | 128-16383 |
| DATA_SOURCE | 0 | vblwait | $1 |
| BIT_INFO | 0 | vblwait->request.type | 0x0,0x3400003f |
| USER_DATA | 0 | vblwait->reply.sequence | 0-u32max[u] |
| USER_DATA | 0 | vblwait->reply.tval_sec | s64min-s64max[u] |
| USER_DATA | 0 | vblwait->reply.tval_usec | s64min-s64max[u] |
| USER_DATA | 0 | vblwait->reply.type | 0-u32max[u] |
| USER_DATA | 0 | vblwait->request.sequence | 0-u32max[u] |
| USER_DATA | 0 | vblwait->request.signal | 0-u64max[u] |
| USER_DATA | 0 | vblwait->request.type | 0-2147483646[u] |
| USER_PTR | 0 | vblwait |