k1om: aliasing rdtscp with rdtsc
authorReto Achermann <reto.achermann@inf.ethz.ch>
Thu, 18 Jun 2015 16:00:04 +0000 (18:00 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Fri, 19 Jun 2015 10:09:30 +0000 (12:09 +0200)
commit25de9edab63cbec7508c60f86e7099184c1faca3
tree0e8d80570e4063b3c99d926f361673e9b2fbc571
parentdc183de8a05ea321f38af41da83fd858173b06c5
k1om: aliasing rdtscp with rdtsc

on the Xeon Phi rdtscp instructions are not available. using rdtsc instead.

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
include/arch/x86/barrelfish_kpi/asm_inlines_arch.h