Searched refs:reserved1 (Results 1 - 12 of 12) sorted by relevance

/seL4-refos-master/kernel/include/drivers/timer/
H A Dmct.h64 uint32_t reserved1[1]; member in struct:mct_global_map
104 uint32_t reserved1[2]; member in struct:mct_local_map
/seL4-refos-master/kernel/libsel4/arch_include/x86/sel4/arch/
H A Dbootinfo_types.h51 seL4_Uint8 reserved1; member in struct:seL4_VBEInfo12Part1
/seL4-refos-master/libs/libsel4/arch_include/x86/sel4/arch/
H A Dbootinfo_types.h51 seL4_Uint8 reserved1; member in struct:seL4_VBEInfo12Part1
/seL4-refos-master/kernel/include/plat/tk1/plat/machine/
H A Dsmmu.h31 uint32_t reserved1; /* 0x28 */ member in struct:__anon2
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/
H A Dzynq_gem.h109 u32 reserved1; member in struct:zynq_gem_regs
/seL4-refos-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/
H A Dprivate.h56 seL4_Word reserved1 : 2; member in struct:__anon785::__anon786
/seL4-refos-master/libs/libplatsupport/src/arch/arm/
H A Ddma330.c167 uint32_t reserved1[1]; member in struct:dma330_map::__anon533
185 uint32_t reserved1[512]; member in struct:dma330_map
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/
H A Dimx-regs.h189 uint32_t reserved1[2]; member in struct:src
568 uint32_t reserved1[7]; member in struct:anatop_regs
H A Dethtool.h65 char reserved1[32]; member in struct:ethtool_drvinfo
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Ddma330.c167 uint32_t reserved1[1]; member in struct:dma330_map::__anon964
185 uint32_t reserved1[512]; member in struct:dma330_map
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/
H A Dethtool.h66 char reserved1[32]; member in struct:ethtool_drvinfo
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/
H A Dethtool.h65 char reserved1[32]; member in struct:ethtool_drvinfo

Completed in 74 milliseconds