Symbol: OP_TLBI_VMALLE1ISNXS