Searched defs:xen_arch_domainconfig (Results 1 – 2 of 2) sorted by relevance
317 struct xen_arch_domainconfig { struct319 uint8_t gic_version;321 uint16_t tee_type;323 uint32_t nr_spis;337 uint32_t clock_frequency;
282 struct xen_arch_domainconfig { struct312 uint32_t emulation_flags;320 uint32_t misc_flags;