rdtsc/results: take paramater for non-0 machine number