coremctl_pci_read_config
DEVMETHOD(pci_read_config, coremctl_pci_read_config),
static uint32_t coremctl_pci_read_config(device_t, device_t, int, int);