kernel/irq/msi.c

1084

if (WARN_ON_ONCE(msi_get_device_domain(dev, domid)))

kernel/irq/msi.c

1120

domain = msi_get_device_domain(dev, domid);

kernel/irq/msi.c

1151

domain = msi_get_device_domain(dev, domid);

kernel/irq/msi.c

1379

domain = msi_get_device_domain(dev, ctrl->domid);

kernel/irq/msi.c

1488

domain = msi_get_device_domain(dev, domid);

kernel/irq/msi.c

1590

if (WARN_ON_ONCE(msi_get_device_domain(dev, domid) != domain))

kernel/irq/msi.c

1635

domain = msi_get_device_domain(dev, ctrl->domid);

kernel/irq/msi.c

1735

if (WARN_ON_ONCE(msi_get_device_domain(dev, MSI_DEFAULT_DOMAIN) != domain))

kernel/irq/msi.c

625

domain = msi_get_device_domain(dev, domid);