ctx_switch        817 drivers/gpu/drm/nouveau/nvkm/engine/gr/nv10.c 	u32 ctx_user, ctx_switch[5];
ctx_switch        841 drivers/gpu/drm/nouveau/nvkm/engine/gr/nv10.c 		ctx_switch[i] = nvkm_rd32(device, NV10_PGRAPH_CTX_SWITCH(i));
ctx_switch        878 drivers/gpu/drm/nouveau/nvkm/engine/gr/nv10.c 		nvkm_wr32(device, NV10_PGRAPH_CTX_SWITCH(i), ctx_switch[i]);