Lines Matching refs:xc_config
42 xc_domain_configuration_t *xc_config) in libxl__arch_domain_prepare_config() argument
89 xc_config->nr_spis = nr_spis; in libxl__arch_domain_prepare_config()
94 xc_config->gic_version = XEN_DOMCTL_CONFIG_GIC_NATIVE; in libxl__arch_domain_prepare_config()
97 xc_config->gic_version = XEN_DOMCTL_CONFIG_GIC_V2; in libxl__arch_domain_prepare_config()
100 xc_config->gic_version = XEN_DOMCTL_CONFIG_GIC_V3; in libxl__arch_domain_prepare_config()
113 const xc_domain_configuration_t *xc_config) in libxl__arch_domain_save_config() argument
115 switch (xc_config->gic_version) { in libxl__arch_domain_save_config()
123 LOG(ERROR, "Unexpected gic version %u", xc_config->gic_version); in libxl__arch_domain_save_config()
857 xc_domain_configuration_t *xc_config = &state->config; in libxl__prepare_dtb() local
867 LOG(DEBUG, " - vGIC version: %s", gicv_to_string(xc_config->gic_version)); in libxl__prepare_dtb()
932 switch (xc_config->gic_version) { in libxl__prepare_dtb()
943 gicv_to_string(xc_config->gic_version)); in libxl__prepare_dtb()
948 FDT( make_timer_node(gc, fdt, ainfo, xc_config->clock_frequency) ); in libxl__prepare_dtb()