don't share the PCI Header data among all devices. Make them independent.
authorNathan Binkert <binkertn@umich.edu>
Thu, 18 Nov 2004 21:23:33 +0000 (16:23 -0500)
committerNathan Binkert <binkertn@umich.edu>
Thu, 18 Nov 2004 21:23:33 +0000 (16:23 -0500)
--HG--
extra : convert_revision : 2aeb7db098f4fcdaea2a37d0a55ee2dbc08c853c


No differences found