ARM_A5_TLBDATAOP_INDEX
| __SHIFTIN(va_index, ARM_A5_TLBDATAOP_INDEX));
return __SHIFTOUT(d, ARM_A5_TLBDATA_VA) * (ARM_A5_TLBDATAOP_INDEX + 1)
.dti_index = ARM_A5_TLBDATAOP_INDEX,