Searched refs:padding2 (Results 1 – 3 of 3) sorted by relevance
| /seL4-master/include/drivers/irq/ | ||
| A D | omap3.h | 32 uint32_t padding2[10]; member |
| A D | am335x.h | 44 uint32_t padding2[10]; member |
| /seL4-master/include/drivers/timer/ | ||
| A D | am335x.h | 18 uint32_t padding2[3]; member |
Completed in 4 milliseconds