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

/seL4-camkes-master/kernel/include/drivers/timer/
H A Dexynos4412-mct.h40 while (!(mct->global.wstat & GWSTAT_COMP0H));
41 mct->global.wstat |= GWSTAT_COMP0H;
H A Dmct.h46 #define GWSTAT_COMP0H (1U << 1) macro
/seL4-camkes-master/kernel/src/drivers/timer/
H A Dexynos4412-mct.c50 while (mct->global.wstat != (GWSTAT_COMP0H | GWSTAT_COMP0L | GWSTAT_COMP0_ADD_INC));
51 mct->global.wstat = (GWSTAT_COMP0H | GWSTAT_COMP0L | GWSTAT_COMP0_ADD_INC);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/
H A Dvmct.c26 #define GWSTAT_COMP0H (1U << 1) macro

Completed in 42 milliseconds