pc64: Setup TSC_AUX register with each cpu's id, when rdtscp is available.
authorImre Vadász <imre@vdsz.com>
Sun, 3 Sep 2017 10:49:20 +0000 (12:49 +0200)
committerImre Vadász <imre@vdsz.com>
Tue, 5 Sep 2017 20:19:36 +0000 (22:19 +0200)
commit19d996da66c61a63ff5f16a3a1ab233ad2c67db2
treea0ab64323459a9646517f078698326bf185a0204
parent315d99390764f1b7ed4b020a9942a11aab550c79
pc64: Setup TSC_AUX register with each cpu's id, when rdtscp is available.

* This allows userland to utilize the rdtscp instruction, to associate
  timestamps to physical cores, and detect migration between 2 measurements.
sys/cpu/x86_64/include/specialreg.h
sys/platform/pc64/x86_64/initcpu.c