Searched refs:device_model (Results 1 – 10 of 10) sorted by relevance
140 # device_model(dm_dom, hvm_dom)142 define(`device_model', `160 device_model($2, $3)
1182 bool device_model = info->type == LIBXL_DOMAIN_TYPE_HVM ? true : false; in libxl__build_hvm() local1226 if (dom->mmio_size == 0 && device_model) in libxl__build_hvm()1228 else if (dom->mmio_size == 0 && !device_model) { in libxl__build_hvm()1254 dom->vga_hole_size = device_model ? LIBXL_VGA_HOLE_SIZE : 0; in libxl__build_hvm()1255 dom->device_model = device_model; in libxl__build_hvm()
76 if (info->device_model) { in libxl__domain_device_model()77 dm = libxl__strdup(gc, info->device_model); in libxl__domain_device_model()1919 dm_config->b_info.device_model = in libxl__spawn_stub_dm()1920 guest_config->b_info.device_model; in libxl__spawn_stub_dm()
488 # if you set device_model you must set device_model_version too489 ("device_model", string),
525 uint32_t lowmem_start = dom->device_model ? GUEST_LOW_MEM_START_DEFAULT : 0; in libxl__arch_domain_construct_memmap()
636 if ( !dom->device_model ) in alloc_magic_pages_hvm()1379 if ( dom->device_model ) in meminit_hvm()1407 if ( vmemranges[vmemid].start == 0 && dom->device_model ) in meminit_hvm()1694 if ( !dom->device_model ) in bootlate_hvm()1738 if ( dom->device_model ) in bootlate_hvm()
215 bool device_model; member
134 fprintf(fh, "\t\t\t(device_model %s)\n", b_info->device_model ? : "default"); in printf_info_sexp()
2090 &b_info->device_model, 0); in parse_config_data()2103 } else if (b_info->device_model) in parse_config_data()
1981 Setting B<xen_platform_pci=0> with the default device_model "qemu-xen"
Completed in 24 milliseconds