Searched refs:__PLAT_MODE_MACHINE_HARDWARE_H (Results 1 - 9 of 9) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/plat/bcm2837/plat/32/plat_mode/machine/
H A Dhardware.h13 #ifndef __PLAT_MODE_MACHINE_HARDWARE_H
14 #define __PLAT_MODE_MACHINE_HARDWARE_H macro
18 #endif /* __PLAT_MODE_MACHINE_HARDWARE_H */
/seL4-l4v-10.1.1/seL4/include/plat/hikey/plat/32/plat_mode/machine/
H A Dhardware.h13 #ifndef __PLAT_MODE_MACHINE_HARDWARE_H
14 #define __PLAT_MODE_MACHINE_HARDWARE_H macro
18 #endif /* __PLAT_MODE_MACHINE_HARDWARE_H */
/seL4-l4v-10.1.1/seL4/include/plat/zynqmp/plat/32/plat_mode/machine/
H A Dhardware.h20 #ifndef __PLAT_MODE_MACHINE_HARDWARE_H
21 #define __PLAT_MODE_MACHINE_HARDWARE_H macro
25 #endif /* __PLAT_MODE_MACHINE_HARDWARE_H */
/seL4-l4v-10.1.1/seL4/include/plat/bcm2837/plat/64/plat_mode/machine/
H A Dhardware.h13 #ifndef __PLAT_MODE_MACHINE_HARDWARE_H
14 #define __PLAT_MODE_MACHINE_HARDWARE_H macro
21 #endif /* __PLAT_MODE_MACHINE_HARDWARE_H */
/seL4-l4v-10.1.1/seL4/include/plat/hikey/plat/64/plat_mode/machine/
H A Dhardware.h13 #ifndef __PLAT_MODE_MACHINE_HARDWARE_H
14 #define __PLAT_MODE_MACHINE_HARDWARE_H macro
21 #endif /* __PLAT_MODE_MACHINE_HARDWARE_H */
/seL4-l4v-10.1.1/seL4/include/plat/spike/plat/32/plat_mode/machine/
H A Dhardware.h12 #ifndef __PLAT_MODE_MACHINE_HARDWARE_H
13 #define __PLAT_MODE_MACHINE_HARDWARE_H macro
/seL4-l4v-10.1.1/seL4/include/plat/zynqmp/plat/64/plat_mode/machine/
H A Dhardware.h20 #ifndef __PLAT_MODE_MACHINE_HARDWARE_H
21 #define __PLAT_MODE_MACHINE_HARDWARE_H macro
28 #endif /* __PLAT_MODE_MACHINE_HARDWARE_H */
/seL4-l4v-10.1.1/seL4/include/plat/spike/plat/64/plat_mode/machine/
H A Dhardware.h12 #ifndef __PLAT_MODE_MACHINE_HARDWARE_H
13 #define __PLAT_MODE_MACHINE_HARDWARE_H macro
/seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/32/plat_mode/machine/
H A Dhardware.h11 #ifndef __PLAT_MODE_MACHINE_HARDWARE_H
12 #define __PLAT_MODE_MACHINE_HARDWARE_H macro

Completed in 45 milliseconds