Searched refs:virtex (Results 1 – 8 of 8) sorted by relevance
36 machine_device_initcall(virtex, virtex_device_probe);48 define_machine(virtex) { in define_machine() argument
2 obj-$(CONFIG_XILINX_VIRTEX_GENERIC_BOARD) += virtex.o
70 The generic virtex board support matches any device tree which71 specifies 'xilinx,virtex' in its compatible field. This includes
42 machine_device_initcall(virtex, virtex_device_probe);54 define_machine(virtex) { in define_machine() argument
9 obj-$(CONFIG_XILINX_VIRTEX_5_FXT) += virtex.o
248 The generic virtex board support matches any device tree which
92 virtex405-head.S virtex.c100 simpleboot.c fixed-head.S virtex.c
6423 F: arch/powerpc/*/*virtex*6424 F: arch/powerpc/*/*/*virtex*