vrc4172pci_attach
vrc4172pci_match, vrc4172pci_attach, NULL, NULL);
static void vrc4172pci_attach(device_t, device_t, void *);