#include <oskit/dev/osenv_pci_config.h>
const oskit_iid_t oskit_osenv_pci_config_iid = OSKIT_OSENV_PCI_CONFIG_IID;