Symbol: hal2_aes_regs