Lines Matching refs:ALLE1IS
3584 tlbi ALLE1IS3616 // CHECK: tlbi alle1is // encoding: [0x9f,0x83,0x0c,0xd5]
