Searched defs:tier (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/plat/am335x/plat/machine/
H A Dtimer.h30 uint32_t tier; // 2Ch IRQSTATUS_SET Timer IRQENABLE Set Register member in struct:timer
/seL4-l4v-10.1.1/seL4/include/plat/omap3/plat/machine/
H A Dtimer.h27 uint32_t tier; /* GPTIMER_TIER 0x1C */ member in struct:timer

Completed in 108 milliseconds