255 DEF(cmpxchgb_T0_T1_EAX_cc)
302 DEF(shldw_T0_T1_im_cc)
303 DEF(shldw_T0_T1_ECX_cc)
304 DEF(shrdw_T0_T1_im_cc)
305 DEF(shrdw_T0_T1_ECX_cc)
308 DEF(cmpxchgw_T0_T1_EAX_cc)
361 DEF(shldl_T0_T1_im_cc)
362 DEF(shldl_T0_T1_ECX_cc)
363 DEF(shrdl_T0_T1_im_cc)
364 DEF(shrdl_T0_T1_ECX_cc)
367 DEF(cmpxchgl_T0_T1_EAX_cc)