PCI-64: how to find

[Mikhail Kuzminsky]

   Dear netters.

I want to find some confirmation that my installed
RH 7.2 "understand" that it works with PCI-64.
(We are using some dual mobos from Tyan which supports
64-bit PCI slots). We have Intel Pro1000T NICs installed
in PCI-64 slots, but I didn't find any information
that Linux works in "PCI-64" mode.

May be this information  must be presented somewhere
(/proc/pci, /var/log/messages etc ) ?

Thanks for help !

Mikhail Kuzminsky
Zelinsky Institute of Organic Chemistry
Moscow