Searched refs:UINTSP (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/kernel/src/drivers/serial/
H A Dexynos4210-uart.c25 #define UINTSP 0x0034 /* interrupt source pending */ macro
/seL4-camkes-master/tools/seL4/elfloader-tool/src/drivers/uart/
H A Dexynos-uart.c26 #define UINTSP 0x0034 /* interrupt source pending */ macro
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/
H A Dvuart.c33 #define UINTSP 0x034 /* interrupt source pending */ macro
230 mask[UINTSP / 4] = 0xffffffff;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dserial.c51 #define UINTSP 0x0034 /* interrupt source pending */ macro

Completed in 82 milliseconds