Searched refs:padding1 (Results 1 - 6 of 6) sorted by relevance
/seL4-refos-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-refos-master/libs/libplatsupport/plat_include/am335x/platsupport/plat/ | ||
H A D | timer.h | 41 uint32_t padding1[3]; member in struct:dmt_map |
/seL4-refos-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-refos-master/libs/libplatsupport/src/mach/omap/ | ||
H A D | gpt.c | 145 uint32_t padding1[3]; member in struct:gpt_map |
/seL4-refos-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 49 milliseconds