microblaze: Remove device_to_mask
authorMichal Simek <michal.simek@xilinx.com>
Fri, 16 May 2014 11:08:44 +0000 (13:08 +0200)
committerMichal Simek <michal.simek@xilinx.com>
Wed, 4 Jun 2014 04:59:58 +0000 (06:59 +0200)
Completely unused function - remove it.

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

No differences found