Searched refs:tidr (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/kernel/include/drivers/timer/
H A Dam335x.h15 uint32_t tidr; // 00h TIDR Identification Register member in struct:timer
H A Domap3430.h15 uint32_t tidr; /* GPTIMER_TIDR 0x00 */ member in struct:timer
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/am335x/platsupport/plat/
H A Dtimer.h40 uint32_t tidr; // 00h TIDR Identification Register member in struct:dmt_map
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/omap/
H A Dgpt.c144 uint32_t tidr; // GPTIMER_TIDR 0x00 member in struct:gpt_map

Completed in 33 milliseconds