microblaze: Remove device_to_mask
Completely unused function - remove it.Signed-off-by: Michal Simek <michal.simek@xilinx.com>
Michal Simek 12 years ago ff97ba6d 635eca2d