extra syscall for hardware counters