at91ohci_attach
void at91ohci_attach(device_t, device_t, void *);
at91ohci_match, at91ohci_attach, NULL, NULL);