Hi, Ben,

One of these days, one of us will finally tackle merging 32=20
and 64 bits
PCI code (and fix both of them while at it to better use the generic
code, which involves fixing issues in the said generic code too :-) at
which point I'll enable full domain support for 32 bits as=20
well, with an
option to degrade it to bus number remapping.
=20

Do you want to implement vbus such as virq? :)

Cheers!
Wei.