Lines Matching refs:ASIDE1
3636 tlbi ASIDE1, x203668 // CHECK: tlbi aside1, x20 // encoding: [0x54,0x87,0x08,0xd5]