Symbol: OP_TLBI_ALLE2OS