vector domain related fixes

Hi,

Here are a patches related to vector domain. Those patches fix the following problems.

[PATCH 1/2] Fix registered interrupt check

When I was doing PCI hotplug, I encountered a problem that interrupts are not initialized correctly. This problem might also happen at driver reloading. The cause of this problem is wrong check of registered interrupts.

[PATCH 2/2] Fix possible race in destroy_and_reserve_irq().

This patch fixes a possible race condition in destroy_and_reserve_irq().

Thanks,
Kenji Kaneshige