Lines Matching refs:ALLE1
3600 tlbi ALLE13632 // CHECK: tlbi alle1 // encoding: [0x9f,0x87,0x0c,0xd5]
