Searched refs:__PLAT_MACHINE_HARDWARE_H (Results 1 - 18 of 18) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/machine/
H A Dhardware.h11 #ifndef __PLAT_MACHINE_HARDWARE_H
12 #define __PLAT_MACHINE_HARDWARE_H macro
/seL4-l4v-10.1.1/seL4/include/plat/allwinnerA20/plat/machine/
H A Dhardware.h11 #ifndef __PLAT_MACHINE_HARDWARE_H
12 #define __PLAT_MACHINE_HARDWARE_H macro
/seL4-l4v-10.1.1/seL4/include/plat/bcm2837/plat/machine/
H A Dhardware.h13 #ifndef __PLAT_MACHINE_HARDWARE_H
14 #define __PLAT_MACHINE_HARDWARE_H macro
72 #endif /* !__PLAT_MACHINE_HARDWARE_H */
/seL4-l4v-10.1.1/seL4/include/plat/tx2/plat/machine/
H A Dhardware.h13 #ifndef __PLAT_MACHINE_HARDWARE_H
14 #define __PLAT_MACHINE_HARDWARE_H macro
98 #endif /* __PLAT_MACHINE_HARDWARE_H */
/seL4-l4v-10.1.1/seL4/include/plat/zynqmp/plat/machine/
H A Dhardware.h20 #ifndef __PLAT_MACHINE_HARDWARE_H
21 #define __PLAT_MACHINE_HARDWARE_H macro
82 #endif /* !__PLAT_MACHINE_HARDWARE_H */
/seL4-l4v-10.1.1/seL4/include/plat/am335x/plat/machine/
H A Dhardware.h11 #ifndef __PLAT_MACHINE_HARDWARE_H
12 #define __PLAT_MACHINE_HARDWARE_H macro
/seL4-l4v-10.1.1/seL4/include/plat/hikey/plat/machine/
H A Dhardware.h11 #ifndef __PLAT_MACHINE_HARDWARE_H
12 #define __PLAT_MACHINE_HARDWARE_H macro
/seL4-l4v-10.1.1/seL4/include/plat/spike/plat/machine/
H A Dhardware.h19 #ifndef __PLAT_MACHINE_HARDWARE_H
20 #define __PLAT_MACHINE_HARDWARE_H macro
/seL4-l4v-10.1.1/seL4/include/plat/tx1/plat/machine/
H A Dhardware.h13 #ifndef __PLAT_MACHINE_HARDWARE_H
14 #define __PLAT_MACHINE_HARDWARE_H macro
119 #endif /* __PLAT_MACHINE_HARDWARE_H */
/seL4-l4v-10.1.1/seL4/include/plat/zynq7000/plat/machine/
H A Dhardware.h11 #ifndef __PLAT_MACHINE_HARDWARE_H
12 #define __PLAT_MACHINE_HARDWARE_H macro
134 #endif /* !__PLAT_MACHINE_HARDWARE_H */
/seL4-l4v-10.1.1/seL4/include/plat/imx31/plat/machine/
H A Dhardware.h11 #ifndef __PLAT_MACHINE_HARDWARE_H
12 #define __PLAT_MACHINE_HARDWARE_H macro
/seL4-l4v-10.1.1/seL4/include/plat/imx7/plat/machine/
H A Dhardware.h11 #ifndef __PLAT_MACHINE_HARDWARE_H
12 #define __PLAT_MACHINE_HARDWARE_H macro
119 #endif /* !__PLAT_MACHINE_HARDWARE_H */
/seL4-l4v-10.1.1/seL4/include/plat/imx6/plat/machine/
H A Dhardware.h11 #ifndef __PLAT_MACHINE_HARDWARE_H
12 #define __PLAT_MACHINE_HARDWARE_H macro
200 #endif /* !__PLAT_MACHINE_HARDWARE_H */
/seL4-l4v-10.1.1/seL4/include/plat/omap3/plat/machine/
H A Dhardware.h11 #ifndef __PLAT_MACHINE_HARDWARE_H
12 #define __PLAT_MACHINE_HARDWARE_H macro
/seL4-l4v-10.1.1/seL4/include/plat/exynos4/plat/machine/
H A Dhardware.h11 #ifndef __PLAT_MACHINE_HARDWARE_H
12 #define __PLAT_MACHINE_HARDWARE_H macro
228 #endif /* !__PLAT_MACHINE_HARDWARE_H */
/seL4-l4v-10.1.1/seL4/include/plat/tk1/plat/machine/
H A Dhardware.h11 #ifndef __PLAT_MACHINE_HARDWARE_H
12 #define __PLAT_MACHINE_HARDWARE_H macro
/seL4-l4v-10.1.1/seL4/include/plat/apq8064/plat/machine/
H A Dhardware.h11 #ifndef __PLAT_MACHINE_HARDWARE_H
12 #define __PLAT_MACHINE_HARDWARE_H macro
307 #endif /* !__PLAT_MACHINE_HARDWARE_H */
/seL4-l4v-10.1.1/seL4/include/plat/exynos5/plat/machine/
H A Dhardware.h11 #ifndef __PLAT_MACHINE_HARDWARE_H
12 #define __PLAT_MACHINE_HARDWARE_H macro
305 #endif /* !__PLAT_MACHINE_HARDWARE_H */

Completed in 36 milliseconds