@@ -1017,10 +1017,12 @@ void cdqq(); void cld(); void clflush(Address adr); + void clflushopt(Address adr); + void clwb(Address adr); void cmovl(Condition cc, Register dst, Register src); void cmovl(Condition cc, Register dst, Address src); void cmovq(Condition cc, Register dst, Register src);