Searched refs:GWSTAT_COMP0_ADD_INC (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/kernel/src/drivers/timer/
H A Dexynos4412-mct.c24 while (mct->global.wstat != (GWSTAT_COMP0_ADD_INC));
25 mct->global.wstat = (GWSTAT_COMP0_ADD_INC);
50 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/kernel/include/drivers/timer/
H A Dmct.h45 #define GWSTAT_COMP0_ADD_INC (1U << 2) macro
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/
H A Dvmct.c25 #define GWSTAT_COMP0_ADD_INC (1U << 2) macro

Completed in 149 milliseconds