@@ -2044,10 +2044,11 @@ void rcpps(XMMRegister dst, XMMRegister src); void rcpss(XMMRegister dst, XMMRegister src); void rdtsc(); + void rdtscp(); void ret(int imm16); void roll(Register dst);