@@ -2109,10 +2109,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); void eroll(Register dst, Register src, bool no_flags);