Turnstone Operating System
|
Public Attributes | ||
struct { | ||
uint64_t type:8 | ||
uint64_t reserved0:8 | ||
uint64_t length:16 | ||
uint64_t reserved1:32 | ||
} | type_length | |
ivrs_ivhd_type_10_t | type_10 | |
ivrs_ivhd_type_11_t | type_11 | |
struct { | ||
uint64_t type:8 | ||
uint64_t flags:8 | ||
uint64_t length:16 | ||
uint64_t device_id:16 | ||
uint64_t capability_offset:16 | ||
uint64_t iommu_base_addr:64 | ||
uint64_t pci_segment_group:16 | ||
uint64_t iommu_info:16 | ||
uint64_t iommu_feature_info:32 | ||
uint64_t iommu_efr_image:64 | ||
uint64_t reserved0:64 | ||
uint8_t devices_infos [] | ||
} | type_40 | |