Symbol: bcma_aread32