Searched refs:padding2 (Results 1 - 4 of 4) sorted by relevance
/seL4-test-master/kernel/include/drivers/timer/ | ||
H A D | am335x.h | 18 uint32_t padding2[3]; member in struct:timer |
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/am335x/platsupport/plat/ | ||
H A D | timer.h | 43 uint32_t padding2[3]; member in struct:dmt_map |
/seL4-test-master/kernel/include/drivers/irq/ | ||
H A D | am335x.h | 44 uint32_t padding2[10]; member in struct:INTC_map |
H A D | omap3.h | 32 uint32_t padding2[10]; member in struct:INTC_map |
Completed in 75 milliseconds