instrument_write
instrument_write(regs, sizeof(*regs));
instrument_write(reg, sizeof(*reg));
instrument_write(fpc, sizeof(*fpc));
instrument_write(vxr, sizeof(__vector128));
instrument_write(vxr, sizeof(__vector128));
instrument_write(vxr, size);
instrument_write(vxr, size);
instrument_write(_v, size); \
instrument_write(_v, size); \
instrument_write(addr + BIT_WORD(nr), sizeof(long));
instrument_write(addr + BIT_WORD(nr), sizeof(long));
instrument_write(addr + BIT_WORD(nr), sizeof(long));
instrument_write(addr + BIT_WORD(nr), sizeof(long));
instrument_write(addr + BIT_WORD(nr), sizeof(long));
instrument_write(dst, sizeof(type)); \