Searched defs:tcrr (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/plat/am335x/plat/machine/
H A Dtimer.h34 uint32_t tcrr; // 3Ch TCRR Timer Counter Register member in struct:timer
/seL4-l4v-10.1.1/seL4/include/plat/omap3/plat/machine/
H A Dtimer.h30 uint32_t tcrr; /* GPTIMER_TCRR 0x28 */ member in struct:timer
/seL4-l4v-10.1.1/HOL4/src/pred_set/src/
H A Dset_relationScript.sml1023 val tcrr = REWRITE_RULE [SUBSET_DEF] (MATCH_MP tc_mono rrestrict_SUBSET) ; value

Completed in 41 milliseconds