V3D_IDENT1         92 drivers/gpu/drm/vc4/vc4_drv.c 		args->value = V3D_READ(V3D_IDENT1);
V3D_IDENT1         20 drivers/gpu/drm/vc4/vc4_v3d.c 	VC4_REG32(V3D_IDENT1),
V3D_IDENT1        107 drivers/gpu/drm/vc4/vc4_v3d.c 		uint32_t ident1 = V3D_READ(V3D_IDENT1);