*** 2041,10 *** --- 2041,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);