instrument_read
instrument_read(regs, sizeof(*regs));
instrument_read(buff, len);
instrument_read(fpc, sizeof(*fpc));
instrument_read(vxr, sizeof(__vector128));
instrument_read(vxr, sizeof(__vector128));
instrument_read(vxr, size);
instrument_read(vxr, size);
instrument_read(_v, size); \
instrument_read(_v, size); \
instrument_read(reg, sizeof(*reg));
instrument_read(fpc, sizeof(*fpc));