Lines Matching full:x13
708 // CHECK: encoding: [0xc5,0x78,0x13,0x18]
716 // CHECK: encoding: [0xc5,0x79,0x13,0x18]
764 // CHECK: encoding: [0xc4,0x41,0x13,0x5a,0xd4]
768 // CHECK: encoding: [0xc5,0x13,0x5a,0x10]
2216 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x13]
2836 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x13]
