target:
        aes32dsi    a0, a1, a2, 2
        aes32dsmi   a0, a1, a2, 2