Lines Matching refs:x56
857 @ CHECK: dmb nshst @ encoding: [0x56,0xf0,0x7f,0xf5]
873 @ CHECK: dmb nshst @ encoding: [0x56,0xf0,0x7f,0xf5]
874 @ CHECK: dmb nshst @ encoding: [0x56,0xf0,0x7f,0xf5]
1590 @ CHECK: mvngt r5, r6, asr r7 @ encoding: [0x56,0x57,0xe0,0xc1]
