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

/seL4-refos-master/kernel/include/drivers/timer/
H A Dam335x.h22 uint32_t tier; // 2Ch IRQSTATUS_SET Timer IRQENABLE Set Register member in struct:timer
H A Domap3430.h20 uint32_t tier; /* GPTIMER_TIER 0x1C */ member in struct:timer
/seL4-refos-master/libs/libplatsupport/plat_include/am335x/platsupport/plat/
H A Dtimer.h47 uint32_t tier; // 2Ch IRQENABLE_SET Timer IRQENABLE Set Register member in struct:dmt_map
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/am335x/platsupport/plat/
H A Dtimer.h47 uint32_t tier; // 2Ch IRQENABLE_SET Timer IRQENABLE Set Register member in struct:dmt_map
/seL4-refos-master/libs/libplatsupport/src/mach/omap/
H A Dgpt.c149 uint32_t tier; // GPTIMER_TIER 0x1C member in struct:gpt_map
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/omap/
H A Dgpt.c149 uint32_t tier; // GPTIMER_TIER 0x1C member in struct:gpt_map

Completed in 38 milliseconds