xilinx_intc: changed device name
commit24739ab4bb0179cdb007b411f881f5f340bf5f53
authorPeter A. G. Crosthwaite <peter.crosthwaite@petalogix.com>
Wed, 13 Jun 2012 04:46:45 +0000 (13 14:46 +1000)
committerEdgar E. Iglesias <edgar.iglesias@gmail.com>
Fri, 15 Jun 2012 11:08:13 +0000 (15 13:08 +0200)
tree6921a4e58d839cdbe95d62f27bea980fa5526b77
parenta61e4b07a30c062260d2d01771773f14820d1eb7
xilinx_intc: changed device name

Changed device name to xlnx,xps-intc. This is the exact name of the device
in the xilinx EDK development tools.

Signed-off-by: Peter A. G. Crosthwaite <peter.crosthwaite@petalogix.com>
Signed-off-by: Edgar E. Iglesias <edgar.iglesias@gmail.com>
hw/xilinx.h
hw/xilinx_intc.c