NV04_PTIMER_TIME_1
nvkm_wr32(device, NV04_PTIMER_TIME_1, hi);
hi = nvkm_rd32(device, NV04_PTIMER_TIME_1);
} while (hi != nvkm_rd32(device, NV04_PTIMER_TIME_1));