dmar_dev_scope
return kzalloc_objs(struct dmar_dev_scope, *cnt);
void dmar_free_dev_scope(struct dmar_dev_scope **devices, int *cnt)
struct dmar_dev_scope *devices,
struct dmar_dev_scope *devices, int count)
static int dmar_pci_device_match(struct dmar_dev_scope devices[],
struct dmar_dev_scope *devices; /* target devices */
struct dmar_dev_scope *devices; /* target devices */
struct dmar_dev_scope *devices; /* target devices */
extern void dmar_free_dev_scope(struct dmar_dev_scope **devices, int *cnt);
struct dmar_dev_scope *devices,
u16 segment, struct dmar_dev_scope *devices,
struct dmar_dev_scope *devices;/* target device array */