Lines Matching full:x40
1835 // CHECK: encoding: [0xc4,0xe2,0x51,0x40,0xca]
1839 // CHECK: encoding: [0xc4,0xe2,0x51,0x40,0x18]
1875 // CHECK: encoding: [0xc4,0xe3,0x51,0x40,0xca,0x03]
1879 // CHECK: encoding: [0xc4,0xe3,0x51,0x40,0x08,0x03]
2955 // CHECK: encoding: [0xc4,0xe3,0x55,0x40,0xca,0x03]
2959 // CHECK: encoding: [0xc4,0xe3,0x55,0x40,0x08,0x03]
