Searched defs:high_bits (Results 1 - 7 of 7) sorted by relevance

/seL4-test-master/projects/util_libs/libplatsupport/mach_include/imx/platsupport/mach/
H A Depit.h48 uint64_t high_bits; member in struct:epit
H A Dgpt.h46 uint32_t high_bits; member in struct:gpt
/seL4-test-master/kernel/src/drivers/timer/
H A Domap3430-timer.c30 uint32_t high_bits = 0; variable
H A Dimx31-gpt.c23 ticks_t high_bits = 0; variable
H A Dam335x-timer.c94 uint32_t high_bits = 0; variable
/seL4-test-master/projects/util_libs/libplatsupport/mach_include/omap/platsupport/mach/
H A Dgpt.h55 uint32_t high_bits; member in struct:gpt
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/imx/
H A Dgpt.c227 uint32_t high_bits = gpt->high_bits; local

Completed in 48 milliseconds