V3D_IDENT0
args->value = V3D_READ(V3D_IDENT0);
VC4_REG32(V3D_IDENT0),
if (V3D_READ(V3D_IDENT0) != V3D_EXPECTED_IDENT0) {
V3D_READ(V3D_IDENT0), V3D_EXPECTED_IDENT0);