V3D_BPOS
state->bpos = V3D_READ(V3D_BPOS);
V3D_WRITE(V3D_BPOS, vc4->bin_alloc_size);
VC4_REG32(V3D_BPOS),
V3D_WRITE(V3D_BPOS, 0);