Searched refs:reserved0 (Results 1 - 4 of 4) sorted by relevance
/seL4-refos-master/kernel/include/drivers/timer/ | ||
H A D | mct.h | 61 uint32_t reserved0[64]; member in struct:mct_global_map 100 uint32_t reserved0[4]; member in struct:mct_local_map |
/seL4-refos-master/kernel/include/plat/tk1/plat/machine/ | ||
H A D | smmu.h | 30 uint32_t reserved0; /* 0x24 */ member in struct:__anon2 |
/seL4-refos-master/libs/libplatsupport/src/arch/arm/ | ||
H A D | dma330.c | 159 uint32_t reserved0[6]; member in struct:dma330_map::__anon533 176 uint32_t reserved0[176]; member in struct:dma330_map |
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ | ||
H A D | dma330.c | 159 uint32_t reserved0[6]; member in struct:dma330_map::__anon964 176 uint32_t reserved0[176]; member in struct:dma330_map |
Completed in 43 milliseconds