Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/vc4/vc4_gem.c vc4_wait_seqno_ioctl() -> vc4_wait_for_seqno_ioctl_helper()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->unplugged 0
PARAM_VALUE 2 timeout_ns 4096-ptr_max
DATA_SOURCE 0 dev $0
USER_DATA 1 seqno 0-u64max[u]
USER_DATA 2 *timeout_ns 0-u64max[u]
UNITS 0 dev unit_byte
USER_PTR 2 timeout_ns