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]);