Symbol: HWAES_ocb_decrypt