ident3            132 drivers/gpu/drm/v3d/v3d_debugfs.c 	u32 ident0, ident1, ident2, ident3, cores;
ident3            142 drivers/gpu/drm/v3d/v3d_debugfs.c 	ident3 = V3D_READ(V3D_HUB_IDENT3);
ident3            148 drivers/gpu/drm/v3d/v3d_debugfs.c 		   V3D_GET_FIELD(ident3, V3D_HUB_IDENT3_IPREV),
ident3            149 drivers/gpu/drm/v3d/v3d_debugfs.c 		   V3D_GET_FIELD(ident3, V3D_HUB_IDENT3_IPIDX));