tree 51d1a9102906b0f2418c32cd48f6637b222250f7
parent 635eca2d31bfc44b519a50e0cdf9ad9125179906
author Michal Simek <michal.simek@xilinx.com> 1400238524 +0200
committer Michal Simek <michal.simek@xilinx.com> 1401857998 +0200

microblaze: Remove device_to_mask

Completely unused function - remove it.

Signed-off-by: Michal Simek <michal.simek@xilinx.com>