Symbol: arswitch_reg_read32