V3D_IDENT1
args->value = V3D_READ(V3D_IDENT1);
uint32_t ident1 = V3D_READ(V3D_IDENT1);
VC4_REG32(V3D_IDENT1),