Lines Matching refs:VAAE1
3599 tlbi VAAE1, x213631 // CHECK: tlbi vaae1, x21 // encoding: [0x75,0x87,0x08,0xd5]