physdev_manage_pci_t
DEFINE_XEN_GUEST_HANDLE(physdev_manage_pci_t);
static physdev_manage_pci_t *managed_devlist;
physdev_manage_pci_t manage_pci, *newlist;
managed_devlist = kmem_alloc(sizeof (physdev_manage_pci_t) *
oldsize = mdev_size * sizeof (physdev_manage_pci_t);
newlist = kmem_alloc(sizeof (physdev_manage_pci_t) * mdev_size,