*** 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);