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

/seL4-refos-master/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-refos-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-refos-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-refos-master/libs/libplatsupport/mach_include/omap/platsupport/mach/
H A Dgpt.h55 uint32_t high_bits; member in struct:gpt
/seL4-refos-master/projects/util_libs/libplatsupport/mach_include/omap/platsupport/mach/
H A Dgpt.h55 uint32_t high_bits; member in struct:gpt
/seL4-refos-master/libs/libplatsupport/src/mach/imx/
H A Dgpt.c227 uint32_t high_bits = gpt->high_bits; local
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/imx/
H A Dgpt.c227 uint32_t high_bits = gpt->high_bits; local

Completed in 122 milliseconds