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

/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/
H A Dguest_boot_info.h169 uint8_t reserved2; member in struct:edd_device_params
177 uint32_t reserved2; member in struct:edd_device_params::__anon58::__anon59
204 uint16_t reserved2; member in struct:edd_device_params::__anon65::__anon66
212 uint8_t reserved2; member in struct:edd_device_params::__anon65::__anon67
220 uint32_t reserved2; member in struct:edd_device_params::__anon65::__anon68
241 uint64_t reserved2; member in struct:edd_device_params::__anon65::__anon73
246 uint16_t reserved2; member in struct:edd_device_params::__anon65::__anon74
252 uint64_t reserved2; member in struct:edd_device_params::__anon65::__anon75
/seL4-test-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-test-master/kernel/libsel4/arch_include/x86/sel4/arch/
H A Dbootinfo_types.h68 seL4_Uint8 reserved2[6]; member in struct:seL4_VBEInfo20
/seL4-test-master/kernel/include/plat/tk1/plat/machine/
H A Dsmmu.h32 uint32_t reserved2; /* 0x2c */ member in struct:__anon2
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/
H A Dpci_helper.h51 * @param {uint16_t} reserved2
85 uint16_t reserved2; member in struct:vmm_pci_device_def
/seL4-test-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-test-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-test-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-test-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/
H A Dprivate.h59 seL4_Word reserved2 : 4; member in struct:__anon428::__anon429
/seL4-test-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Ddma330.c169 uint32_t reserved2[40]; member in struct:dma330_map::__anon625
200 uint32_t reserved2[56]; member in struct:dma330_map
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/
H A Dpci_helper.c96 .reserved2 = 0,

Completed in 123 milliseconds