process_32_syncpts
process_32_syncpts(host, reg, i);
process_32_syncpts(host, reg, 0);
process_32_syncpts(host, lower_32_bits(reg), i);
process_32_syncpts(host, upper_32_bits(reg), i + 1);
process_32_syncpts(host, reg, i);
process_32_syncpts(host, lower_32_bits(reg), i * 2 + 0);
process_32_syncpts(host, upper_32_bits(reg), i * 2 + 1);