Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/dma-buf/sync_file.c sync_file_get_fence() -> sync_file_fdget()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | fd | $0 |
| NOSPEC | 0 | fd | |
| USER_DATA | 0 | fd | s32min-s32max |
| HALF_LOCKED2 | &queue->lock |
drivers/dma-buf/sync_file.c sync_file_ioctl_merge() -> sync_file_fdget()
| Type | Parameter | Key | Value |
|---|---|---|---|
| USER_DATA | 0 | fd | s32min-s32max |