Searched refs:tpir (Results 1 - 3 of 3) sorted by relevance
/seL4-refos-master/kernel/include/drivers/timer/ | ||
H A D | omap3430.h | 31 uint32_t tpir; /* GPTIMER_TPIR 0x48 */ member in struct:timer |
/seL4-refos-master/libs/libplatsupport/src/mach/omap/ | ||
H A D | gpt.c | 160 uint32_t tpir; // GPTIMER_TPIR 0x48 member in struct:gpt_map |
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/omap/ | ||
H A D | gpt.c | 160 uint32_t tpir; // GPTIMER_TPIR 0x48 member in struct:gpt_map |
Completed in 64 milliseconds