pipe_0x7400        42 drivers/gpu/drm/nouveau/nvkm/engine/gr/nv10.c 	u32 pipe_0x7400[0x0c0/4];
pipe_0x7400       572 drivers/gpu/drm/nouveau/nvkm/engine/gr/nv10.c 	PIPE_SAVE(gr, pipe->pipe_0x7400, 0x7400);
pipe_0x7400       621 drivers/gpu/drm/nouveau/nvkm/engine/gr/nv10.c 	PIPE_RESTORE(gr, pipe->pipe_0x7400, 0x7400);