В Linux или Windows можно прочитать пространство конфигурации PCI устройства из произвольного драйвера (не обязательно того, который «владеет» этим конкретным устройством PCI). В Linux это можно сделать через pci_read_config_*().
Есть ли способ сделать это из KEXT для OS X?