Searched refs:mach (Results 1 - 25 of 33) sorted by relevance

12

/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/tk1/platsupport/plat/
H A Dtimer.h13 #include <platsupport/mach/timer_tk1_tx1_defs.h>
14 #include <platsupport/mach/timer.h>
H A Dserial.h14 #include <platsupport/mach/serial.h>
15 #include <platsupport/mach/serial_tk1_tx1_defs.h>
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/tx1/platsupport/plat/
H A Dtimer.h13 #include <platsupport/mach/timer_tk1_tx1_defs.h>
14 #include <platsupport/mach/timer.h>
H A Dserial.h14 #include <platsupport/mach/serial.h>
15 #include <platsupport/mach/serial_tk1_tx1_defs.h>
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/zynq7000/platsupport/plat/
H A Di2c.h14 #include <platsupport/mach/i2c.h>
H A Dtimer.h13 #include <platsupport/mach/timer.h>
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/zynqmp/platsupport/plat/
H A Di2c.h14 #include <platsupport/mach/i2c.h>
H A Dtimer.h21 #include <platsupport/mach/timer.h>
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/exynos5/platsupport/plat/
H A Dtimer.h14 #include <platsupport/mach/pwm.h>
H A Dserial.h49 #include <platsupport/mach/serial.h>
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/imx7/platsupport/plat/
H A Dserial.h15 #include <platsupport/mach/serial.h>
H A Dtimer.h21 #include <platsupport/mach/gpt.h>
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/imx8m/platsupport/plat/
H A Dserial.h16 #include <platsupport/mach/serial.h>
H A Dtimer.h21 #include <platsupport/mach/gpt.h>
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/tx2/platsupport/plat/
H A Dserial.h14 #include <platsupport/mach/serial.h>
H A Dtimer.h61 #include <platsupport/mach/timer.h>
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/exynos4/platsupport/plat/
H A Dserial.h40 #include <platsupport/mach/serial.h>
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/imx6/platsupport/plat/
H A Dserial.h17 #include <platsupport/mach/serial.h>
H A Dtimer.h27 #include <platsupport/mach/gpt.h>
28 #include <platsupport/mach/epit.h>
/seL4-camkes-master/projects/musllibc/arch/sh/bits/
H A Duser.h26 unsigned long mach; member in struct:pt_regs
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/imx31/platsupport/plat/
H A Dtimer.h16 #include <platsupport/mach/gpt.h>
17 #include <platsupport/mach/epit.h>
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dltimer.c19 #include <platsupport/mach/pwm.h>
H A Dpmic_rtc.c13 #include <platsupport/mach/pmic_rtc.h>
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/plat/exynos5/
H A Dehci-exynos5.c15 #include <platsupport/mach/pmic.h>
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/omap/
H A Dltimer.c19 #include <platsupport/mach/gpt.h>

Completed in 175 milliseconds

12