vc4_wait_seqno_ioctl  163 drivers/gpu/drm/vc4/vc4_drv.c 	DRM_IOCTL_DEF_DRV(VC4_WAIT_SEQNO, vc4_wait_seqno_ioctl, DRM_RENDER_ALLOW),
vc4_wait_seqno_ioctl  798 drivers/gpu/drm/vc4/vc4_drv.h int vc4_wait_seqno_ioctl(struct drm_device *dev, void *data,