Searched refs:device_model (Results 1 – 11 of 11) sorted by relevance
141 # device_model(dm_dom, hvm_dom)143 define(`device_model', `162 device_model($2, $3)
1056 bool device_model = info->type == LIBXL_DOMAIN_TYPE_HVM ? true : false; in libxl__build_hvm() local1100 if (dom->mmio_size == 0 && device_model) in libxl__build_hvm()1102 else if (dom->mmio_size == 0 && !device_model) { in libxl__build_hvm()1130 dom->vga_hole_size = device_model ? LIBXL_VGA_HOLE_SIZE : 0; in libxl__build_hvm()1131 dom->device_model = device_model; in libxl__build_hvm()
524 # if you set device_model you must set device_model_version too525 ("device_model", string),
314 if (info->device_model) { in libxl__domain_device_model()315 dm = libxl__strdup(gc, info->device_model); in libxl__domain_device_model()2301 dm_config->b_info.device_model = in libxl__spawn_stub_dm()2302 guest_config->b_info.device_model; in libxl__spawn_stub_dm()
685 uint32_t lowmem_start = dom->device_model ? GUEST_LOW_MEM_START_DEFAULT : 0; in domain_construct_memmap()
678 if ( !dom->device_model ) in alloc_magic_pages_hvm()1088 if ( !dom->device_model ) in vcpu_hvm()1479 if ( dom->device_model ) in meminit_hvm()1512 if ( vmemranges[vmemid].start == 0 && dom->device_model ) in meminit_hvm()1787 if ( !dom->device_model ) in bootlate_hvm()1857 if ( dom->device_model ) in bootlate_hvm()
209 bool device_model; member
134 fprintf(fh, "\t\t\t(device_model %s)\n", b_info->device_model ? : "default"); in printf_info_sexp()
2502 &b_info->device_model, 0); in parse_config_data()2515 } else if (b_info->device_model) in parse_config_data()
1025 x.DeviceModel = C.GoString(xc.device_model)1349 xc.device_model = C.CString(x.DeviceModel)}
2248 Setting B<xen_platform_pci=0> with the default device_model "qemu-xen"
Completed in 32 milliseconds