HomeSort by: relevance | last modified time | path
    Searched refs:ixdp425 (Results 1 - 8 of 8) sorted by relevancy

  /src/sys/arch/evbarm/ixdp425/
ixdp425reg.h 34 #define ixdp425 1 macro
41 #if EVBARM_BOARDTYPE == ixdp425
56 #endif /* EVBARM_BOARDTYPE == ixdp425 */
ixdp425_mainbus.c 47 #include <evbarm/ixdp425/ixdp425var.h>
ixdp425_pci.c 34 * IXDP425 PCI interrupt support.
44 #include <evbarm/ixdp425/ixdp425reg.h>
45 #include <evbarm/ixdp425/ixdp425var.h>
ixdp425_machdep.c 105 #include <evbarm/ixdp425/ixdp425reg.h>
387 printf("\nNetBSD/evbarm (Intel IXDP425) booting ...\n");
  /src/sys/external/gpl2/dts/dist/arch/arm/boot/dts/
intel-ixp42x-ixdp425.dts 3 * Device Tree file for the Intel IXDP425 also known as IXCDP1100 Control Plane
18 model = "Intel IXDP425/IXCDP1100 Richfield Reference Design";
19 compatible = "intel,ixdp425", "intel,ixp42x";
Makefile 249 intel-ixp42x-ixdp425.dtb \
  /src/sys/arch/evbarm/
Makefile 25 SEVBARM+= ${SYSDIR}/arch/evbarm/ixdp425/*.[ch]
50 AEVBARM+= ${SYSDIR}/arch/evbarm/ixdp425/*.S
  /src/sys/arch/arm/xscale/
ixp425_pci.c 44 #include <evbarm/ixdp425/ixdp425reg.h>

Completed in 1518 milliseconds