Symbol: bcma_mask32