Searched refs:reserved2 (Results 1 - 10 of 10) sorted by relevance

/seL4-refos-master/kernel/include/drivers/timer/
H A Dmct.h66 uint32_t reserved2[60]; member in struct:mct_global_map
106 uint32_t reserved2[50]; member in struct:mct_local_map
/seL4-refos-master/kernel/libsel4/arch_include/x86/sel4/arch/
H A Dbootinfo_types.h68 seL4_Uint8 reserved2[6]; member in struct:seL4_VBEInfo20
/seL4-refos-master/libs/libsel4/arch_include/x86/sel4/arch/
H A Dbootinfo_types.h68 seL4_Uint8 reserved2[6]; member in struct:seL4_VBEInfo20
/seL4-refos-master/kernel/include/plat/tk1/plat/machine/
H A Dsmmu.h32 uint32_t reserved2; /* 0x2c */ member in struct:__anon2
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/
H A Dethtool.h38 uint8_t reserved2; member in struct:ethtool_cmd
67 char reserved2[12]; member in struct:ethtool_drvinfo
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/
H A Dethtool.h37 uint8_t reserved2; member in struct:ethtool_cmd
66 char reserved2[12]; member in struct:ethtool_drvinfo
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/
H A Dethtool.h37 uint8_t reserved2; member in struct:ethtool_cmd
66 char reserved2[12]; member in struct:ethtool_drvinfo
/seL4-refos-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/
H A Dprivate.h59 seL4_Word reserved2 : 4; member in struct:__anon785::__anon786
/seL4-refos-master/libs/libplatsupport/src/arch/arm/
H A Ddma330.c169 uint32_t reserved2[40]; member in struct:dma330_map::__anon533
200 uint32_t reserved2[56]; member in struct:dma330_map
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Ddma330.c169 uint32_t reserved2[40]; member in struct:dma330_map::__anon964
200 uint32_t reserved2[56]; member in struct:dma330_map

Completed in 138 milliseconds