Searched refs:padding1 (Results 1 - 4 of 4) sorted by relevance
/seL4-test-master/kernel/include/drivers/timer/ | ||
H A D | am335x.h | 16 uint32_t padding1[3]; member in struct:timer |
H A D | omap3430.h | 16 uint32_t padding1[3]; member in struct:timer |
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/am335x/platsupport/plat/ | ||
H A D | timer.h | 41 uint32_t padding1[3]; member in struct:dmt_map |
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/omap/ | ||
H A D | gpt.c | 145 uint32_t padding1[3]; member in struct:gpt_map |
Completed in 38 milliseconds