/* from libxl_pci */
-_hidden int libxl__device_pci_add(libxl__gc *gc, uint32_t domid, libxl_device_pci *pcidev, int starting);
+_hidden int libxl__device_pci_add(libxl__gc *gc, uint32_t domid,
+ libxl_device_pci *pcidev, bool starting);
_hidden int libxl__device_pci_destroy_all(libxl__gc *gc, uint32_t domid);
_hidden bool libxl__is_igd_vga_passthru(libxl__gc *gc,
const libxl_domain_config *d_config);
static int libxl__device_pci_add_xenstore(libxl__gc *gc,
uint32_t domid,
const libxl_device_pci *pcidev,
- int starting)
+ bool starting)
{
flexarray_t *back;
char *num_devs, *be_path;
return rc;
}
-static int do_pci_add(libxl__gc *gc, uint32_t domid, libxl_device_pci *pcidev, int starting)
+static int do_pci_add(libxl__gc *gc, uint32_t domid,
+ libxl_device_pci *pcidev, bool starting)
{
libxl_ctx *ctx = libxl__gc_owner(gc);
libxl_domain_type type = libxl__domain_type(gc, domid);
{
AO_CREATE(ctx, domid, ao_how);
int rc;
- rc = libxl__device_pci_add(gc, domid, pcidev, 0);
+ rc = libxl__device_pci_add(gc, domid, pcidev, false);
libxl__ao_complete(egc, ao, rc);
return AO_INPROGRESS;
}
return i != num;
}
-int libxl__device_pci_add(libxl__gc *gc, uint32_t domid, libxl_device_pci *pcidev, int starting)
+int libxl__device_pci_add(libxl__gc *gc, uint32_t domid,
+ libxl_device_pci *pcidev, bool starting)
{
libxl_ctx *ctx = libxl__gc_owner(gc);
unsigned int orig_vdev, pfunc_mask;
if (stubdomid != 0) {
libxl_device_pci pcidev_s = *pcidev;
/* stubdomain is always running by now, even at create time */
- rc = do_pci_add(gc, stubdomid, &pcidev_s, 0);
+ rc = do_pci_add(gc, stubdomid, &pcidev_s, false);
if ( rc )
goto out;
}
int i, rc = 0;
for (i = 0; i < d_config->num_pcidevs; i++) {
- rc = libxl__device_pci_add(gc, domid, &d_config->pcidevs[i], 1);
+ rc = libxl__device_pci_add(gc, domid, &d_config->pcidevs[i], true);
if (rc < 0) {
LOGD(ERROR, domid, "libxl_device_pci_add failed: %d", rc);
goto out;