On Wed, Apr 14, 2010 at 04:29:22PM -0400, Alan Stern wrote:
Could the driver for the DVB tuner change the PCI mask? That is, change
the pci mask way after it has been initialized (don't laugh, this did
happend - as I remember 4 months fix was posted on the DRM mailing list
for this).
--