Use rarch_get_perf_counter implementation for OSX as well