text: /*
   * Copyright (C) 2019 Intel Corporation. All rights reserved.
   *
   * SPDX-License-Identifier: BSD-3-Clause
   */
  
  #include <vm_config.h>
  #include <vm_configurations.h>
  #include <pci_devices.h>
  
  struct acrn_vm_pci_ptdev_config vm0_pci_ptdevs[VM0_CONFIG_PCI_PTDEV_NUM] = {
  	{
  		.vbdf.bits = {.b = 0x00U, .d = 0x00U, .f = 0x00U},
  		HOST_BRIDGE
  	},
  	{
  		.vbdf.bits = {.b = 0x00U, .d = 0x01U, .f = 0x00U},
  		STORAGE_CONTROLLER_0
  	},
  	{
  		.vbdf.bits = {.b = 0x00U, .d = 0x02U, .f = 0x00U},
  		ETHERNET_CONTROLLER_0
  	},
  };
  
  struct acrn_vm_pci_ptdev_config vm1_pci_ptdevs[VM1_CONFIG_PCI_PTDEV_NUM] = {
  	{
  		.vbdf.bits = {.b = 0x00U, .d = 0x00U, .f = 0x00U},
  		HOST_BRIDGE
  	},
  	{
  		.vbdf.bits = {.b = 0x00U, .d = 0x01U, .f = 0x00U},
  		STORAGE_CONTROLLER_1
  	},
  	{
  		.vbdf.bits = {.b = 0x00U, .d = 0x02U, .f = 0x00U},
  		ETHERNET_CONTROLLER_1
  	},
  };
  